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

more robust tactic to cover another corner case (added as example);
2013-09-12, by traytel
generalized data structure, for extension with SMT solver proofs
2013-09-12, by blanchet
prefixed types and some functions with "atp_" for disambiguation
2013-09-12, by blanchet
merged;
2013-09-12, by wenzelm
absorb final CLASSPATH as well, such that tools might provide that by elementary means, without the "classpath" shell function (e.g. kodkodi/nitpick);
2013-09-12, by wenzelm
more CHECKLIST;
2013-09-12, by wenzelm
more robust System.getProperty with default;
2013-09-12, by wenzelm
generate distribution classpath for cold-start application wrappers;
2013-09-12, by wenzelm
reverse orientation of ISABELLE_CLASSPATH;
2013-09-12, by wenzelm
propagate ISABELLE_CLASSPATH;
2013-09-12, by wenzelm
tuned comments;
2013-09-12, by wenzelm
clarified directory structure;
2013-09-12, by wenzelm
maintain classpath in more elementary manner: turn ISABELLE_CLASSPATH into -classpath option, so that all jars are covered by sun.misc.Launcher.AppClassLoader (e.g. relevant for loading add-on resources);
2013-09-12, by wenzelm
more official initial class path according to sun.misc.Launcher;
2013-09-11, by wenzelm

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

isabelle