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

tuned
2013-01-11, by nipkow
merged
2013-01-11, by noschinl
added some ereal_of_enat_* lemmas (from $AFP/thys/Girth_Chromatic)
2013-01-10, by noschinl
explicit references avoid dynamic lookup
2013-01-11, by haftmann
sharing of recursive results on evaluation
2013-01-11, by haftmann
removed debugging code
2013-01-10, by blanchet
make name table work the way it was intended to
2013-01-10, by blanchet
export MeSh data as well
2013-01-10, by blanchet
merged
2013-01-10, by wenzelm
manage cygwin as bundled quasi-component;
2013-01-10, by wenzelm
tuned;
2013-01-10, by wenzelm
outermost directory structure for Windows/Cygwin;
2013-01-10, by wenzelm
updated for release;
2013-01-10, by wenzelm
more general prover termination dialog, which might indicate undetected failure or just ML "exit 0";
2013-01-10, by wenzelm
clarified cygwin/isabelle scripts;
2013-01-10, by wenzelm
more systematic makedist_cygwin;
2013-01-10, by wenzelm
prefer system build mode in main application wrappers, to produce heaps insided distribution directory;
2013-01-10, by wenzelm
tuned proofs;
2013-01-10, by wenzelm
dock "Theories" right, although it might obscure some control buttons;
2013-01-10, by wenzelm
scala-2.9.2 is still supported;
2013-01-10, by wenzelm
made SML/NJ happy;
2013-01-10, by wenzelm
recovered buffered sockets from 11f622794ad6 -- requires Poly/ML 5.5.x;
2013-01-10, by wenzelm
minor update;
2013-01-09, by wenzelm
purge other platforms uniformly;
2013-01-09, by wenzelm
unconditional jedit_build;
2013-01-09, by wenzelm
Console is not docked on startup;
2013-01-09, by wenzelm
refrain from writing to JEDIT_SETTINGS in BUILD_ONLY mode -- relevant for makedist;
2013-01-09, by wenzelm
renamed tool;
2013-01-09, by wenzelm
create required PREFS_DIR;
2013-01-09, by wenzelm
eliminated choosefrom -- power-users may edit global defaults within script;
2013-01-09, by wenzelm
tuned;
2013-01-09, by wenzelm
updated makebundles as Admin isabelle tool;
2013-01-09, by wenzelm
tuned;
2013-01-09, by wenzelm
Added proof function declarations for min and max
2013-01-10, by berghofe
disable interactive mode of Specification.theorem with its slow printing of results;
2013-01-08, by wenzelm
changed exception to uppercase
2013-01-09, by smolkas
proper exception handling; reraise interrupt exceptions
2013-01-09, by smolkas
more CHECKLIST;
2013-01-09, by wenzelm
merged
2013-01-09, by wenzelm
build browser more robustly before startup;
2013-01-09, by wenzelm
standardized treatment of timing properties;
2013-01-09, by wenzelm
consider merging obtain steps
2013-01-09, by smolkas
preplay obtain steps
2013-01-09, by smolkas
tune spelling;
2013-01-09, by wenzelm
include timing properties in log; build_history_base
2013-01-08, by wenzelm
merged
2013-01-08, by wenzelm
upper bound for font size;
2013-01-08, by wenzelm
more tolerant set/pred rule declaration to improve "tool compliance", notably for "context assumes";
2013-01-08, by wenzelm
more aggressive update -- potentially relevant for previously is_outdated output;
2013-01-08, by wenzelm
allow negative argument in "consumes" source format;
2013-01-08, by wenzelm
prefer negative "consumes", relative to the total number of prems, which is stable under more morphisms, notably those from nested context with assumes (cf. existing treatment of 'obtains');
2013-01-08, by wenzelm
more direct invalidateScreenLineRange after changed assignment;
2013-01-08, by wenzelm
tuned;
2013-01-08, by wenzelm
tuned -- prefer high-level Table.merge with its slightly more conservative update;
2013-01-08, by wenzelm
tuned output
2013-01-08, by blanchet
tuned names
2013-01-08, by nipkow

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

isabelle