doc-src/Ref/introduction.tex
Sun, 01 Mar 2009 13:48:17 +0100 wenzelm removed parts of the manual that are clearly obsolete, or covered by
Sat, 04 Oct 2008 17:40:56 +0200 wenzelm simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
Mon, 21 Jan 2002 17:02:52 +0100 wenzelm reset show_hyps by default (in accordance to existing Isar practice);
Mon, 28 Aug 2000 13:52:38 +0200 wenzelm proper setup of iman.sty/extra.sty/ttbox.sty;
Sat, 01 Jul 2000 19:56:46 +0200 wenzelm eta_contract: no default;
Mon, 22 May 2000 11:57:27 +0200 wenzelm show_consts no longer requires show_types;
Tue, 18 Jan 2000 11:33:31 +0100 paulson fixed many bad line & page breaks
Sun, 31 Oct 1999 20:11:23 +0100 wenzelm updated; Isabelle99
Fri, 24 Sep 1999 12:22:59 +0200 wenzelm tuned;
Thu, 19 Aug 1999 13:56:02 +0200 wenzelm finished theories;
Fri, 30 Jul 1999 15:56:33 +0200 wenzelm added update_thy_only;
Mon, 10 May 1999 15:16:49 +0200 wenzelm pdf setup;
Tue, 04 May 1999 11:27:25 +0200 wenzelm tuned;
Mon, 03 May 1999 19:03:35 +0200 wenzelm tuned;
Mon, 03 May 1999 18:35:48 +0200 wenzelm theory loader stuff updated and improved;
Wed, 10 Mar 1999 16:31:33 +0100 wenzelm updated;
Wed, 06 Jan 1999 15:00:12 +0100 wenzelm fixed commit spec;
Mon, 24 Aug 1998 19:12:13 +0200 wenzelm emacs local vars;
Fri, 09 Jan 1998 13:49:20 +0100 wenzelm several minor updates;
Thu, 27 Nov 1997 19:39:02 +0100 wenzelm several minor updates;
Fri, 21 Nov 1997 15:37:02 +0100 wenzelm cd, use: path variables;
Wed, 02 Jul 1997 16:46:36 +0200 paulson Now there are TWO spaces after each full stop, so that the Emacs sentence
Thu, 15 May 1997 14:58:51 +0200 wenzelm sysman refs;
Tue, 06 May 1997 12:50:16 +0200 wenzelm misc updates, tuning, cleanup;
Tue, 26 Nov 1996 16:07:17 +0100 paulson Added instructions on starting up
Wed, 29 Nov 1995 16:56:54 +0100 clasohm added \label{sec:shell-scripts}
Wed, 03 May 1995 16:46:17 +0200 lcp show_sorts:=true forces display of types
Fri, 27 Jan 1995 12:42:03 +0100 clasohm added documentation of pwd
Thu, 04 Aug 1994 11:51:30 +0200 lcp addition of show_brackets
Fri, 22 Apr 1994 18:18:37 +0200 lcp final Springer copy
Fri, 15 Apr 1994 16:53:01 +0200 lcp penultimate Springer draft
Mon, 21 Mar 1994 11:02:57 +0100 lcp first draft of Springer book
Fri, 26 Nov 1993 16:35:38 +0100 lcp Minor edits to discussion of use_thy
Fri, 26 Nov 1993 13:00:35 +0100 lcp Correction to eta-contraction; thanks to Markus W.
Thu, 25 Nov 1993 14:23:04 +0100 wenzelm corrected trivial typo;
Thu, 25 Nov 1993 10:29:40 +0100 clasohm added index commands, removed last paragraph of "Using Poly/ML"
Mon, 22 Nov 1993 16:03:36 +0100 clasohm added chapter "Defining Theories" and made changes for new Readthy functions
Wed, 10 Nov 1993 05:00:57 +0100 lcp Initial revision
less more (0) tip