isar-keywords-quot.el
2009-12-22 Christian Urban added a print_maps command; updated the keyword file accordingly
2009-12-19 Christian Urban on suggestion of Tobias renamed "quotient_def" to "quotient_definition"; needs new keyword file
2009-12-19 Christian Urban renamed "quotient" command to "quotient_type"; needs new keyword file to be installed
less more (0) tip