1996-12-09 wenzelm 1996-12-09 added -norc option;
1996-12-09 wenzelm 1996-12-09 added -norc option; error output to stderr;
1996-12-09 wenzelm 1996-12-09 findlogics: collect heap names from ISABELLE_PATH;
1996-12-09 wenzelm 1996-12-09 doc: view Isabelle documentation;
1996-12-06 paulson 1996-12-06 Minor renamings
1996-12-06 paulson 1996-12-06 MLWorks compatibility: it sort of works
1996-12-06 paulson 1996-12-06 Added public-key examples for Auth
1996-12-06 paulson 1996-12-06 Minor renamings
1996-12-05 paulson 1996-12-05 Moved much common material to Message.ML
1996-12-05 paulson 1996-12-05 Updating of banner
1996-12-05 paulson 1996-12-05 Loads new public-key examples
1996-12-05 paulson 1996-12-05 Minor speedups
1996-12-05 paulson 1996-12-05 Trivial renamings
1996-12-05 paulson 1996-12-05 Trivial renamings
1996-12-05 paulson 1996-12-05 Updated a comment
1996-12-05 paulson 1996-12-05 Moved much common material to Message.ML
1996-12-05 paulson 1996-12-05 Updating of comments
1996-12-05 paulson 1996-12-05 Public-key examples
1996-12-05 wenzelm 1996-12-05 added pwd;
1996-12-04 wenzelm 1996-12-04 fixed commit emulation;
1996-12-04 wenzelm 1996-12-04 changed font menu;
1996-12-04 wenzelm 1996-12-04 replaced cat by ucat; fixed RC handling;
1996-12-04 wenzelm 1996-12-04 replaced cat by ucat;
1996-12-04 wenzelm 1996-12-04 *** empty log message ***
1996-12-04 wenzelm 1996-12-04 fails more gracefully;
1996-12-04 wenzelm 1996-12-04 fixed ML_HOME;
1996-12-04 wenzelm 1996-12-04 added ISAMODE_HOME;
1996-12-04 wenzelm 1996-12-04 improved 'not found' messages;
1996-12-04 wenzelm 1996-12-04 *** empty log message ***
1996-12-04 wenzelm 1996-12-04 ucat - uninterruptible cat NOTE: If perl is unavailable we simply fall back on normal cat!
1996-12-03 wenzelm 1996-12-03 Emacs / Isamode interface.
1996-12-03 paulson 1996-12-03 Simplified file_info using OS.FileSys instead of Posix.FileSys (also for MLWorks compatibility)
1996-12-03 paulson 1996-12-03 Random number generated "downgraded" to generate numbers below 2^29 - 1, for MLWorks compatibility
1996-12-02 wenzelm 1996-12-02 run-smlnj: SML/NJ startup script (for 1.06 or later).
1996-12-02 wenzelm 1996-12-02 run-polyml: Poly/ML startup script.
1996-12-02 wenzelm 1996-12-02 isa-xterm: Isabelle within an xterm.
1996-12-02 wenzelm 1996-12-02 getsettings: bash source script to augment current env.
1996-12-02 wenzelm 1996-12-02 isabelle symbol fonts;
1996-12-02 wenzelm 1996-12-02 installfonts: install Isabelle symbol fonts.
1996-12-02 wenzelm 1996-12-02 getenv: get value from Isabelle settings.
1996-12-02 wenzelm 1996-12-02 changeparent: change parent of Poly/ML database.
1996-12-02 wenzelm 1996-12-02 settings: Isabelle settings -- site defaults.
1996-12-02 wenzelm 1996-12-02 isatool: Isabelle tool starter -- keeps your PATH name space clean.
1996-12-02 wenzelm 1996-12-02 isabelle: Basic Isabelle startup script.
1996-12-02 oheimb 1996-12-02 removed 8bit sections
1996-12-02 oheimb 1996-12-02 replaced Lift3 by Up3, moving Lift3.p to Up3.p
1996-12-02 oheimb 1996-12-02 in Tools/8bit/isa-patches/HOLCF/clean-HOLCF.cfg
1996-12-02 paulson 1996-12-02 Made comments more explicit
1996-12-02 paulson 1996-12-02 Removal of needless occurrences of "op"
1996-12-02 wenzelm 1996-12-02 removed out-dated comment;
1996-12-02 wenzelm 1996-12-02 removed;
1996-11-29 paulson 1996-11-29 Swapped arguments of Crypt (for clarity and because it is conventional)
1996-11-29 paulson 1996-11-29 Swapping arguments of Crypt; removing argument lost
1996-11-29 wenzelm 1996-11-29 added qed_spec_mp (from HOL);
1996-11-29 nipkow 1996-11-29 Ring Theory.
1996-11-29 nipkow 1996-11-29 Moved the Rings stuff from ex to Integ and showed that int::cring.
1996-11-29 nipkow 1996-11-29 Modified dependencies for ex and Integ. (Rings)
1996-11-29 oheimb 1996-11-29 *** empty log message ***
1996-11-29 oheimb 1996-11-29 moved Lift*.* to Up*.*, renaming of all constans and theorems concerned, (*lift* to *up*, except Ilift to Ifup, lift to fup)
1996-11-29 oheimb 1996-11-29 modified file headers renamed lift to fup