| Wed, 22 Jun 2005 09:26:18 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Thu, 26 May 2005 10:05:11 +0200 |
paulson |
Narrower version of the Proof General's head; removal of the alternative icon and environment
|
file |
diff |
annotate
|
| Wed, 25 May 2005 10:32:20 +0200 |
paulson |
new environments for Proof General notes
|
file |
diff |
annotate
|
| Thu, 02 Dec 2004 14:47:07 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Thu, 19 Feb 2004 17:57:54 +0100 |
paulson |
new numerics section using type classes
|
file |
diff |
annotate
|
| Tue, 07 May 2002 15:03:50 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Sat, 05 Jan 2002 01:18:54 +0100 |
wenzelm |
\newcommand{\isasymignore}{}, so we may use \<ignore> to disambiguate
|
file |
diff |
annotate
|
| Thu, 26 Jul 2001 18:23:38 +0200 |
paulson |
additional revisions to chapters 1, 2
|
file |
diff |
annotate
|
| Thu, 26 Jul 2001 16:43:02 +0200 |
paulson |
revisions 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:20:26 +0200 |
paulson |
fixed bad error in tdxbold; also removed default indexing in \\rulename
|
file |
diff |
annotate
|
| Wed, 11 Jul 2001 13:55:15 +0200 |
paulson |
new macro file for the tutorial
|
file |
diff |
annotate
|