Wed, 04 Mar 2009 11:05:29 +0100 |
Merge.
|
file | diff | annotate |
Wed, 04 Mar 2009 10:45:52 +0100 |
Merge.
|
file | diff | annotate |
Sun, 15 Feb 2009 18:53:41 +0100 |
removed obsolete section "User interfaces";
|
file | diff | annotate |
Mon, 09 Feb 2009 12:52:16 +0100 |
basic setup for chapter "The Isabelle/Isar Framework";
|
file | diff | annotate |
Sat, 04 Oct 2008 17:40:56 +0200 |
simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
|
file | diff | annotate |
Wed, 25 Jun 2008 17:38:34 +0200 |
tuned;
|
file | diff | annotate |
Tue, 03 Jun 2008 00:16:07 +0200 |
\cite{Wenzel:2006:Festschrift};
|
file | diff | annotate |
Mon, 02 Jun 2008 23:38:25 +0200 |
tuned structure;
|
file | diff | annotate |
Mon, 02 Jun 2008 22:50:23 +0200 |
major reorganization of document structure;
|
file | diff | annotate |
Mon, 02 Jun 2008 21:13:48 +0200 |
isatool tty;
|
file | diff | annotate |
Mon, 02 Jun 2008 21:01:42 +0200 |
renamed theory "intro" to "Introduction";
|
file | diff | annotate |