2012-07-24 wenzelm 2012-07-24 added "browser_info_remote" (cf. usedir -P);
2012-07-24 wenzelm 2012-07-24 clarified "this_name" vs. former "reset" feature -- imitate the latter by loading other session sources directly;
2012-07-24 wenzelm 2012-07-24 timing for whole session;
2012-07-24 wenzelm 2012-07-24 tuned options;
2012-07-24 wenzelm 2012-07-24 timing is command line options, not system option;
2012-07-24 wenzelm 2012-07-24 clarified document options;
2012-07-24 wenzelm 2012-07-24 pass build options to ML; some imitation of usedir Session.init;
2012-07-23 wenzelm 2012-07-23 added ML version of stand-alone options, with XML.encode/decode operations (unidirectional from Scala to ML);
2012-07-23 wenzelm 2012-07-23 provide explicit ISABELLE_PLATFORM32 as well; discontinued some obsolete platforms; explicit error for unknown platform;
2012-07-23 berghofe 2012-07-23 merged
2012-07-23 berghofe 2012-07-23 set_vcs now derives prefix from fully qualified procedure / function name
2012-07-23 wenzelm 2012-07-23 try droppable application using Platypus functionality -- in contrast to earlier AppHack (cf. 9343d4b7c5bf);
2012-07-23 wenzelm 2012-07-23 updated to Platypus 4.7;
2012-07-23 wenzelm 2012-07-23 merged
2012-07-23 wenzelm 2012-07-23 tuned;
2012-07-23 wenzelm 2012-07-23 clarified init_component: always liberal; reduced divergence of clone from lib/scripts/getsettings;
2012-07-23 wenzelm 2012-07-23 added system build mode: produce output in ISABELLE_HOME; determine output location more explicitly;
2012-07-23 wenzelm 2012-07-23 removed redundant check (cf. a8ed41b6280b);
2012-07-23 wenzelm 2012-07-23 pass ISABELLE_BROWSER_INFO as explicit argument;
2012-07-23 wenzelm 2012-07-23 removed some old/unused stuff;
2012-07-23 wenzelm 2012-07-23 updated smlnj settings;
2012-07-23 blanchet 2012-07-23 cap the number of facts returned by MaSh
2012-07-23 blanchet 2012-07-23 remove MaSh junk associated with size functions
2012-07-23 blanchet 2012-07-23 identified "evil" theories for MaSh -- this is rather ad hoc, but so is MaSh anyway
2012-07-23 blanchet 2012-07-23 removed MaSh junk arising from primrec definitions
2012-07-23 blanchet 2012-07-23 distinguish between recursive and nonrecursive definitions + clean up typedef dependencies in MaSh
2012-07-23 blanchet 2012-07-23 tuning
2012-07-23 blanchet 2012-07-23 faster "save" operation
2012-07-23 blanchet 2012-07-23 include unknown local facts in MaSh
2012-07-23 blanchet 2012-07-23 ensure all calls to "mash" program are synchronous
2012-07-23 blanchet 2012-07-23 don't relearn old facts in Isar mode
2012-07-23 blanchet 2012-07-23 took out CVC3 again -- there seems to be issues with the server version of CVC3 + minor tweaks
2012-07-23 haftmann 2012-07-23 restrict unqualified imports from Haskell Prelude to a small set of fundamental operations
2012-07-23 haftmann 2012-07-23 more correct import
2012-07-22 wenzelm 2012-07-22 merged
2012-07-22 haftmann 2012-07-22 NEWS
2012-07-22 haftmann 2012-07-22 library theories for debugging and parallel computing using code generation towards Isabelle/ML
2012-07-21 haftmann 2012-07-21 also consider current working directory (cf. 3a5a5a992519)
2012-07-22 wenzelm 2012-07-22 parallel scheduling of jobs; misc tuning;
2012-07-22 wenzelm 2012-07-22 tuned;
2012-07-22 wenzelm 2012-07-22 maintain set of source digests, including relevant parts of session entry;
2012-07-22 wenzelm 2012-07-22 determine source dependencies, relatively to preloaded theories; tuned signature;
2012-07-21 wenzelm 2012-07-21 propagate defined options; misc tuning;
2012-07-21 wenzelm 2012-07-21 disallow quotes in path specifications -- extra paranoia;
2012-07-21 wenzelm 2012-07-21 save image for inner nodes only; misc tuning and simplification;
2012-07-21 wenzelm 2012-07-21 some actual build function on ML side; further imitation of "usedir" shell script;
2012-07-21 wenzelm 2012-07-21 tuned -- no dependency on exit function;
2012-07-21 wenzelm 2012-07-21 more ML_System operations;
2012-07-21 bulwahn 2012-07-21 restricting Quickcheck_Examples' root file to one basic theory to see if the system error on isatest still occurs
2012-07-21 bulwahn 2012-07-21 handling partiality in the case where the equality optimisation is applied
2012-07-20 wenzelm 2012-07-20 merged
2012-07-20 wenzelm 2012-07-20 updated File.find_files;
2012-07-20 wenzelm 2012-07-20 more abstract file system operations in Scala, corresponding to ML version;
2012-07-20 wenzelm 2012-07-20 eliminated obsolete session_manager.scala;
2012-07-20 wenzelm 2012-07-20 more explicit java.io.{File => JFile};
2012-07-20 blanchet 2012-07-20 tune Mesh filter
2012-07-20 blanchet 2012-07-20 faster maximal node computation
2012-07-20 blanchet 2012-07-20 honor suggested MaSh weights
2012-07-20 blanchet 2012-07-20 use CVC3 and Yices by default if they are available and there are enough cores
2012-07-20 blanchet 2012-07-20 relearn ATP proofs