isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip

added simple primitive note
2007-12-10, by haftmann
moved instance parameter management from class.ML to axclass.ML
2007-12-10, by haftmann
tuned header
2007-12-10, by haftmann
switched import from Main to List
2007-12-10, by haftmann
switched import from Main to PreList
2007-12-10, by haftmann
explicit import of theory ATP_Linkup
2007-12-10, by haftmann
explicit import of theory Main
2007-12-10, by haftmann
swtiched ATP_Linkup and PreList in theory hierarchy
2007-12-10, by haftmann
ML_OPTIONS="-H 1500" -- potentially works around GC core dump;
2007-12-09, by wenzelm
added Id, some cleanup
2007-12-09, by krauss
tuned message;
2007-12-08, by wenzelm
renamed IsabelleResult to IsabelleProcess.Result;
2007-12-08, by wenzelm
Isabelle process wrapper for JVM platform (tentative implementation in
2007-12-08, by wenzelm
tuned messages;
2007-12-08, by wenzelm
Isar loop: recover after toplevel crashes;
2007-12-08, by wenzelm
secure_main: enforces terminator, to gain robustness;
2007-12-08, by wenzelm
text_of: make double sure that result is well-formed, to avoid recurrent failures;
2007-12-08, by wenzelm
ML_OPTIONS="-H 1000" -- potentially works around GC core dump;
2007-12-08, by wenzelm
added off-line parse;
2007-12-07, by wenzelm
(alt)string: allow explicit character codes (as in ML);
2007-12-07, by wenzelm
added nested 'Isabelle.command';
2007-12-07, by wenzelm
updated;
2007-12-07, by wenzelm
special_end: replaced Z by dot;
2007-12-07, by wenzelm
output_prompt: CRITICAL;
2007-12-07, by wenzelm
declaration of instance parameter names
2007-12-07, by haftmann
exported declare_names
2007-12-07, by haftmann
new primrec
2007-12-07, by haftmann
instantiation target rather than legacy instance
2007-12-07, by haftmann
proper treatment of code theorems for primrec
2007-12-07, by haftmann
dropped Instance.instantiate
2007-12-07, by haftmann

less more | (0) -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle