2 Commits

Author	SHA1	Message	Date
Gaetano Geck	76d33ff457	[Fix] \renewnotation: check for correct argument whether it is already defined.	2018-04-29 13:39:33 +02:00
Gaetano Geck	fb1e5bbb44	[Git] Initial commit (version 0.95).	2018-04-29 13:39:33 +02:00