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 tip

tuned documentation
2015-10-01, by blanchet
tuned datatype docs
2015-10-01, by blanchet
export proof method in signature
2015-10-01, by blanchet
export '_cmd' functions
2015-10-01, by blanchet
back to old JavaAppLauncher to avoid initial startup problems (due to unsigned application?);
2015-09-30, by wenzelm
tuned GUI;
2015-09-30, by wenzelm
proper isabelle.root for bootstrap;
2015-09-30, by wenzelm
merged
2015-09-30, by wenzelm
tuned;
2015-09-30, by wenzelm
proper Cygwin.init (amending e00e1bf23d03);
2015-09-30, by wenzelm
renamed jvmpath to platform_path;
2015-09-30, by wenzelm
clarified ISABELLE_ROOT (platform path) vs. ISABELLE_HOME (standard path);
2015-09-30, by wenzelm
tuned GUI;
2015-09-30, by wenzelm
uniform treatment of bootstrap directories;
2015-09-30, by wenzelm
more robust system init (again), in case the plugin is started without isabelle.Main;
2015-09-30, by wenzelm
tuned message;
2015-09-30, by wenzelm
clarified modules;
2015-09-30, by wenzelm
Merge
2015-09-30, by paulson
Dead wood removal
2015-09-30, by paulson
Merge
2015-09-30, by paulson
real_of_nat_Suc is now a simprule
2015-09-30, by paulson
updated docs
2015-09-30, by blanchet
clarified Isabelle_System.init;
2015-09-29, by wenzelm
tuned;
2015-09-29, by wenzelm
tuned GUI;
2015-09-29, by wenzelm
proper event;
2015-09-29, by wenzelm
tuned GUI;
2015-09-29, by wenzelm
build session within running jEdit;
2015-09-29, by wenzelm
clarified modules;
2015-09-29, by wenzelm
monomorphization of divmod wrt. code generation avoids costly dictionary unpacking at runtime
2015-09-27, by haftmann

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

isabelle