2004-06-09 wenzelm tuned messages;
2004-06-09 wenzelm added is_logtype (replaces logtypes field of syntax); tuned merge;
2004-06-09 wenzelm removed separate logtypes field of syntax; removed test_read, simple_str_of_sort, simple_string_of_typ; provide default_mode;
2004-06-09 wenzelm removed separate logtypes field of syntax;
2004-06-09 wenzelm Path.split_ext; more robust inform_file_processed;
2004-06-09 wenzelm Sign.is_logtype;
Loading...
(0) -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip