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 -15 +15 +100 +300 +1000 +3000 +10000 +30000 tip

tuned;
2012-07-22, by wenzelm
maintain set of source digests, including relevant parts of session entry;
2012-07-22, by wenzelm
determine source dependencies, relatively to preloaded theories;
2012-07-22, by wenzelm
propagate defined options;
2012-07-21, by wenzelm
disallow quotes in path specifications -- extra paranoia;
2012-07-21, by wenzelm
save image for inner nodes only;
2012-07-21, by wenzelm
some actual build function on ML side;
2012-07-21, by wenzelm
tuned -- no dependency on exit function;
2012-07-21, by wenzelm
more ML_System operations;
2012-07-21, by wenzelm
restricting Quickcheck_Examples' root file to one basic theory to see if the system error on isatest still occurs
2012-07-21, by bulwahn
handling partiality in the case where the equality optimisation is applied
2012-07-21, by bulwahn
merged
2012-07-20, by wenzelm
updated File.find_files;
2012-07-20, by wenzelm
more abstract file system operations in Scala, corresponding to ML version;
2012-07-20, by wenzelm
eliminated obsolete session_manager.scala;
2012-07-20, by wenzelm

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

isabelle