isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

proper signature;
2011-08-08, by wenzelm
made SML/NJ happy;
2011-08-08, by wenzelm
slightly more uniform messages;
2011-08-08, by wenzelm
avoid pointless completion of illegal control commands;
2011-08-08, by wenzelm
removed old expand_fun_eq
2011-08-08, by nipkow
fixed index entry
2011-08-08, by nipkow
removed old recdef and types usage
2011-08-08, by nipkow
merged
2011-08-08, by nipkow
extended user-level attribute case_names with names for case hypotheses
2011-08-06, by nipkow
infrastructure for attaching names to hypothesis in cases; realised via the same tag mechanism as case names
2011-08-01, by nipkow
workaround for Java 1.7 where javax.swing.JComboBox<E> is generic;
2011-08-07, by wenzelm
updated version information;
2011-08-07, by wenzelm
fixed document;
2011-08-07, by wenzelm
tuned order: pushing INF and SUP to Inf and Sup
2011-08-05, by haftmann
tuned order: pushing INF and SUP to Inf and Sup
2011-08-05, by haftmann
generalized lemmas to complete lattices
2011-08-05, by haftmann
merged
2011-08-05, by Andreas Lochbihler
replace old SML code generator by new code generator in MicroJava/J
2011-08-05, by Andreas Lochbihler
new state syntax with less conflicts
2011-08-04, by kleing
replace old SML code generator by new code generator in MicroJava/JVM and /BV
2011-08-05, by Andreas Lochbihler
merged
2011-08-05, by haftmann
more fine-granular instantiation
2011-08-04, by haftmann
solving duality problem for complete_distrib_lattice; tuned
2011-08-04, by haftmann
merged
2011-08-04, by berghofe
Pending FDL types may now be associated with Isabelle types as well.
2011-08-04, by berghofe
tuned orthography
2011-08-04, by haftmann
avoid yet unknown fact antiquotation
2011-08-04, by haftmann
NEWS
2011-08-04, by haftmann
more specific instantiation
2011-08-03, by haftmann
tuned
2011-08-03, by haftmann

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

isabelle