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