| 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
|
| Fri, 21 Dec 2001 00:43:58 +0100 |
wenzelm |
removed Types/records.tex;
|
file |
diff |
annotate
|
| Mon, 01 Oct 2001 14:44:00 +0200 |
wenzelm |
initial setup for chapter on document preparation;
|
file |
diff |
annotate
|
| Fri, 20 Jul 2001 17:49:10 +0200 |
wenzelm |
SEDINDEX = ./isa-index;
|
file |
diff |
annotate
|
| Tue, 17 Jul 2001 13:46:21 +0200 |
paulson |
tidying the index
|
file |
diff |
annotate
|
| Mon, 09 Jul 2001 13:43:02 +0200 |
paulson |
isa-index replaces ../sedindex: knows about \\isa
|
file |
diff |
annotate
|
| Mon, 28 Aug 2000 13:52:38 +0200 |
wenzelm |
proper setup of iman.sty/extra.sty/ttbox.sty;
|
file |
diff |
annotate
|
| Tue, 09 May 2000 16:05:45 +0200 |
wenzelm |
use proper version of pdfsetup.sty;
|
file |
diff |
annotate
|
| Mon, 08 May 2000 11:13:28 +0200 |
wenzelm |
improved indexing;
|
file |
diff |
annotate
|
| Thu, 20 Apr 2000 09:54:56 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Wed, 19 Apr 2000 11:54:39 +0200 |
nipkow |
I wonder if that's all?
|
file |
diff |
annotate
|