| 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
|