2011-04-13 noschinl Add YXML.parse_file to parse and process big data files
2011-04-13 noschinl Generalized File.fold_lines to File.fold_fields
2011-04-11 wenzelm more permissive run_command: identity execution for empty toplevel, e.g. after malformed theory header;
2011-04-11 wenzelm Name_Space.entry_markup: keep def position as separate properties;
2011-04-09 wenzelm some position reports for 'translations';
2011-04-09 wenzelm made SML/NJ happy;
2011-04-09 wenzelm merged
2011-04-08 boehmes added SMT certificates
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip