2013-01-11 haftmann 2013-01-11 sharing of recursive results on evaluation
2013-01-10 blanchet 2013-01-10 removed debugging code
2013-01-10 blanchet 2013-01-10 make name table work the way it was intended to
2013-01-10 blanchet 2013-01-10 export MeSh data as well
2013-01-10 wenzelm 2013-01-10 merged
2013-01-10 wenzelm 2013-01-10 manage cygwin as bundled quasi-component;
2013-01-10 wenzelm 2013-01-10 tuned;
2013-01-10 wenzelm 2013-01-10 outermost directory structure for Windows/Cygwin;
2013-01-10 wenzelm 2013-01-10 updated for release;
2013-01-10 wenzelm 2013-01-10 more general prover termination dialog, which might indicate undetected failure or just ML "exit 0";
2013-01-10 wenzelm 2013-01-10 clarified cygwin/isabelle scripts;
2013-01-10 wenzelm 2013-01-10 more systematic makedist_cygwin;
2013-01-10 wenzelm 2013-01-10 prefer system build mode in main application wrappers, to produce heaps insided distribution directory;
2013-01-10 wenzelm 2013-01-10 tuned proofs;
2013-01-10 wenzelm 2013-01-10 dock "Theories" right, although it might obscure some control buttons;
2013-01-10 wenzelm 2013-01-10 scala-2.9.2 is still supported;
2013-01-10 wenzelm 2013-01-10 made SML/NJ happy;
2013-01-10 wenzelm 2013-01-10 recovered buffered sockets from 11f622794ad6 -- requires Poly/ML 5.5.x;
2013-01-09 wenzelm 2013-01-09 minor update;
2013-01-09 wenzelm 2013-01-09 purge other platforms uniformly;
2013-01-09 wenzelm 2013-01-09 unconditional jedit_build; less intrusive build_doc;
2013-01-09 wenzelm 2013-01-09 Console is not docked on startup;
2013-01-09 wenzelm 2013-01-09 refrain from writing to JEDIT_SETTINGS in BUILD_ONLY mode -- relevant for makedist;
2013-01-09 wenzelm 2013-01-09 renamed tool;
2013-01-09 wenzelm 2013-01-09 create required PREFS_DIR;
2013-01-09 wenzelm 2013-01-09 eliminated choosefrom -- power-users may edit global defaults within script; prefer jedit;
2013-01-09 wenzelm 2013-01-09 tuned;
2013-01-09 wenzelm 2013-01-09 updated makebundles as Admin isabelle tool;
2013-01-09 wenzelm 2013-01-09 tuned;
2013-01-10 berghofe 2013-01-10 Added proof function declarations for min and max
2013-01-08 wenzelm 2013-01-08 disable interactive mode of Specification.theorem with its slow printing of results;
2013-01-09 smolkas 2013-01-09 changed exception to uppercase
2013-01-09 smolkas 2013-01-09 proper exception handling; reraise interrupt exceptions
2013-01-09 wenzelm 2013-01-09 more CHECKLIST;
2013-01-09 wenzelm 2013-01-09 merged
2013-01-09 wenzelm 2013-01-09 build browser more robustly before startup;
2013-01-09 wenzelm 2013-01-09 standardized treatment of timing properties;
2013-01-09 smolkas 2013-01-09 consider merging obtain steps
2013-01-09 smolkas 2013-01-09 preplay obtain steps
2013-01-09 wenzelm 2013-01-09 tune spelling;
2013-01-08 wenzelm 2013-01-08 include timing properties in log; general Properties.parse operations; tuned signature; build_history_base
2013-01-08 wenzelm 2013-01-08 merged
2013-01-08 wenzelm 2013-01-08 upper bound for font size;
2013-01-08 wenzelm 2013-01-08 more tolerant set/pred rule declaration to improve "tool compliance", notably for "context assumes";
2013-01-08 wenzelm 2013-01-08 more aggressive update -- potentially relevant for previously is_outdated output;
2013-01-08 wenzelm 2013-01-08 allow negative argument in "consumes" source format; more documentation/NEWS;
2013-01-08 wenzelm 2013-01-08 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 wenzelm 2013-01-08 more direct invalidateScreenLineRange after changed assignment;
2013-01-08 wenzelm 2013-01-08 tuned;
2013-01-08 wenzelm 2013-01-08 tuned -- prefer high-level Table.merge with its slightly more conservative update;
2013-01-08 blanchet 2013-01-08 tuned output
2013-01-08 nipkow 2013-01-08 tuned names
2013-01-07 wenzelm 2013-01-07 merged;
2013-01-07 wenzelm 2013-01-07 more precise and complete transitive closure of proven_classrel, using existing Sorts.classes_of which is already closed; transfer theorems where they are picked from the theory; tuned;
2013-01-07 wenzelm 2013-01-07 no fork from draft thy -- avoid potential for crash via classrel_proof/arity_proof;
2013-01-07 wenzelm 2013-01-07 merged
2013-01-06 wenzelm 2013-01-06 export some generally useful operations;
2013-01-07 wenzelm 2013-01-07 tuned comment -- do not claim anything;
2013-01-07 blanchet 2013-01-07 cleaner context threading
2013-01-07 blanchet 2013-01-07 tuned output