| Mon, 30 Jul 2012 17:37:34 +0200 |
wenzelm |
regenerate ToyList2/ToyList.thy during raw make *after* session build, to ensure that it is updated sporadically (NB: isabelle build does not support generated sources);
|
file |
diff |
annotate
|
| Thu, 26 Jul 2012 18:55:42 +0200 |
wenzelm |
recovered latex job;
|
file |
diff |
annotate
|
| Mon, 02 May 2011 22:31:46 +0200 |
wenzelm |
eliminated old CVS Ids;
|
file |
diff |
annotate
|
| Sun, 01 May 2011 16:36:34 +0200 |
wenzelm |
eliminated copies of isabelle style files;
|
file |
diff |
annotate
|
| Wed, 17 Jun 2009 10:07:22 +0200 |
haftmann |
more precise dependencies
|
file |
diff |
annotate
|
| Thu, 15 May 2008 20:14:10 +0200 |
wenzelm |
use Isabelle sty files from Doc/;
|
file |
diff |
annotate
|
| Mon, 23 Jul 2007 14:36:37 +0200 |
berghofe |
Replaced "hand-made" LaTeX code in Protocol/protocol.tex by
|
file |
diff |
annotate
|
| Thu, 19 Jul 2007 15:32:58 +0200 |
berghofe |
Replaced "hand-made" files by generated files in Inductive/document.
|
file |
diff |
annotate
|
| Tue, 08 Jan 2002 20:52:46 +0100 |
wenzelm |
dependencies for "typedef" image;
|
file |
diff |
annotate
|
| Tue, 08 Jan 2002 20:45:45 +0100 |
wenzelm |
improved arrangement of "typedef" images;
|
file |
diff |
annotate
|
| Tue, 08 Jan 2002 17:43:21 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 07 Jan 2002 18:31:00 +0100 |
wenzelm |
tuned deps;
|
file |
diff |
annotate
|
| Sat, 05 Jan 2002 21:41:11 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 04 Jan 2002 19:19:29 +0100 |
wenzelm |
link Types/typedef images;
|
file |
diff |
annotate
|