Skip to content

Adhoc handling of custom entries for notations and improvements on plugins (VernacExtend) #161

Adhoc handling of custom entries for notations and improvements on plugins (VernacExtend)

Adhoc handling of custom entries for notations and improvements on plugins (VernacExtend) #161