2004-06-09 | wenzelm | tuned messages; | changeset | files |
2004-06-09 | wenzelm | added is_logtype (replaces logtypes field of syntax); tuned merge; | changeset | files |
2004-06-09 | wenzelm | removed separate logtypes field of syntax; removed test_read, simple_str_of_sort, simple_string_of_typ; provide default_mode; | changeset | files |
2004-06-09 | wenzelm | removed separate logtypes field of syntax; | changeset | files |
2004-06-09 | wenzelm | Path.split_ext; more robust inform_file_processed; | changeset | files |
2004-06-09 | wenzelm | Sign.is_logtype; | changeset | files |
Loading... |