2010-01-04 ago wenzelm discontinued old TheoryDataFun, but retain Theory_Data_PP with is Pretty.pp argument to merge (still required in exotic situations -- hard to get rid of);
2010-01-04 ago wenzelm Standard_System.raw_exec;
2010-01-04 ago wenzelm removed function "isabelle-process", keeping "isabelle" only -- functions within the process environment might get passed through a genuine /bin/sh, which does not allow non-identifiers here;
2010-01-04 ago wenzelm added Cygwin "make" package;
2010-01-04 ago wenzelm discontinued old ISABELLE and ISATOOL environment settings;
2010-01-04 ago wenzelm shell functions "isabelle-process" and "isabelle" refer to the proper executables statically -- for interactive use or sloppy bash scripts;
2010-01-04 ago wenzelm removed further remains of mutable theory data (cf. 25bd3ed2ac9f);
2010-01-04 ago wenzelm merged
2010-01-04 ago haftmann code cache only persists on equal theories
2010-01-04 ago haftmann moved name duplicates to end of theory; reduced warning noise
2010-01-04 ago haftmann merged
2010-01-04 ago haftmann modernized
2010-01-04 ago haftmann added applify combinator
2010-01-04 ago haftmann dropped redundant name declarations
2010-01-04 ago haftmann dropped copy operation for legacy TheoryDataFun
2010-01-04 ago haftmann code cache without copy; tuned
2010-01-04 ago wenzelm report keywords as singleton messages, control message kind via print mode;
2010-01-04 ago wenzelm explicit markup of document assigment message (simplified variant of earlier "edits" 8c3e1f73953d);
2010-01-04 ago wenzelm omit useless (?) scaladoc;
2010-01-04 ago wenzelm added Future.promise -- essentially a single-assignment variable with signalling, using the Future interface;
2010-01-04 ago wenzelm after_qed: refrain from Position.setmp_thread_data, which causes duplication of results with several independent proof attempts;
2010-01-04 ago wenzelm discontinued special HOL_USEDIR_OPTIONS;
2010-01-03 ago wenzelm updated stats;
2010-01-03 ago wenzelm made SML/NJ happy;
2010-01-03 ago paulson merged
2010-01-03 ago paulson removed legacy asm_lr_simp_tac
2010-01-03 ago nipkow removed more asm_rl's - unfortunately slowdown of 1 min.
2010-01-02 ago krauss new year's resolution: reindented code in function package
2010-01-02 ago krauss provide simp and induct rules in Function.info
2010-01-02 ago krauss more official data record Function.info
2010-01-02 ago krauss simplified
2010-01-02 ago krauss absorb structures Decompose and Descent into Termination, to simplify further restructuring
2010-01-02 ago nipkow another legacy "asm_lr"
2010-01-02 ago nipkow merged
2010-01-02 ago nipkow removed legacy asm_lr
2010-01-02 ago wenzelm merged
2010-01-01 ago nipkow added lemmas
2010-01-01 ago nipkow added lemma
2010-01-01 ago nipkow removed FIXME
2010-01-02 ago wenzelm tuned error handling;
2010-01-02 ago wenzelm Standard_System.raw_execute: optional cwd;
2010-01-02 ago wenzelm Download URLs -- with progress monitor.
2010-01-01 ago wenzelm Future values -- Scala version.
2009-12-31 ago wenzelm added simple dialogs;
2009-12-31 ago wenzelm added is_ready;
2009-12-30 ago wenzelm simplified init message -- removed redundant session property;
2009-12-30 ago wenzelm removed obsolete version check -- sanity delegated to Isabelle_System;
2009-12-30 ago wenzelm eliminated Markup.edits/EDITS: Isar.edit_document reports Markup.edit/EDIT while running under new document id;
2009-12-30 ago wenzelm tuned signature;
2009-12-30 ago wenzelm less ambitious isatest for SML/NJ;
2009-12-30 ago krauss killed a few warnings
2009-12-30 ago krauss more regular axiom of infinity, with no (indirect) reference to overloaded constants
2009-12-29 ago wenzelm back to Unsynchronized.ref, with some attempts to make the main operations actually thread-safe;
2009-12-29 ago wenzelm removed slightly odd Isar_Document.init;
2009-12-29 ago wenzelm explicit session HOL-Proofs -- avoid statefulness of main HOL image wrt. HOL_proofs etc.;
2009-12-28 ago wenzelm tuned;
2009-12-28 ago wenzelm crude Cygwin.setup;
2009-12-28 ago wenzelm ignore undefined environment;
2009-12-28 ago wenzelm separate Standard_System (Cygwin/Posix compatibility) vs. Isabelle_System (settings environment etc.);
2009-12-28 ago wenzelm tuned;