| Thu, 26 Jul 2012 19:16:04 +0200 |
wenzelm |
recovered chapter on Presenting Theories;
|
file |
diff |
annotate
|
| Thu, 26 Jul 2012 18:55:42 +0200 |
wenzelm |
recovered latex job;
|
file |
diff |
annotate
|
| Fri, 29 Jun 2012 15:45:50 +0200 |
wenzelm |
default for \<euro> is now based on eurosym package, instead of slightly exotic babel/greek (which causes problems with the Gentoo installation on lxbroy2);
|
file |
diff |
annotate
|
| Sun, 01 May 2011 16:36:34 +0200 |
wenzelm |
eliminated copies of isabelle style files;
|
file |
diff |
annotate
|
| Mon, 20 Apr 2009 15:24:57 +0200 |
haftmann |
empty page leads to results on duplex printers as expected
|
file |
diff |
annotate
|
| Thu, 15 May 2008 20:14:10 +0200 |
wenzelm |
use Isabelle sty files from Doc/;
|
file |
diff |
annotate
|
| Thu, 01 Nov 2007 13:44:44 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Fri, 10 Jun 2005 18:36:47 +0200 |
nipkow |
tuning
|
file |
diff |
annotate
|
| Thu, 19 Feb 2004 17:57:54 +0100 |
paulson |
new numerics section using type classes
|
file |
diff |
annotate
|
| Thu, 08 May 2003 13:36:07 +0200 |
kleing |
fix euro error
|
file |
diff |
annotate
|
| Thu, 21 Feb 2002 18:19:34 +0100 |
wenzelm |
updated title;
|
file |
diff |
annotate
|
| Thu, 17 Jan 2002 12:58:31 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Tue, 08 Jan 2002 17:32:13 +0100 |
wenzelm |
\part{Elementary Techniques};
|
file |
diff |
annotate
|
| Sat, 05 Jan 2002 01:19:14 +0100 |
wenzelm |
use wasysym package;
|
file |
diff |
annotate
|
| Thu, 20 Dec 2001 21:13:22 +0100 |
wenzelm |
\usepackage{marvosym};
|
file |
diff |
annotate
|
| Thu, 13 Dec 2001 16:48:34 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Mon, 01 Oct 2001 14:44:00 +0200 |
wenzelm |
initial setup for chapter on document preparation;
|
file |
diff |
annotate
|
| Tue, 04 Sep 2001 17:31:18 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Mon, 03 Sep 2001 10:28:52 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Fri, 03 Aug 2001 18:04:55 +0200 |
paulson |
numerous stylistic changes and indexing
|
file |
diff |
annotate
|
| Thu, 26 Jul 2001 16:43:02 +0200 |
paulson |
revisions and indexing
|
file |
diff |
annotate
|
| Tue, 24 Jul 2001 11:25:54 +0200 |
paulson |
tweaks and indexing
|
file |
diff |
annotate
|
| Tue, 17 Jul 2001 13:46:21 +0200 |
paulson |
tidying the index
|
file |
diff |
annotate
|
| Fri, 13 Jul 2001 18:22:13 +0200 |
paulson |
oops
|
file |
diff |
annotate
|