Mon, 21 Jan 2002 11:25:45 +0100 |
paulson |
lexical tidying
|
file |
diff |
annotate
|
Wed, 16 Jan 2002 17:52:06 +0100 |
paulson |
Isar version of AC
|
file |
diff |
annotate
|
Mon, 21 May 2001 14:45:52 +0200 |
paulson |
X-symbols for set theory
|
file |
diff |
annotate
|
Thu, 13 Aug 1998 18:07:38 +0200 |
paulson |
Moved the definition of s_u (as s) into the locale
|
file |
diff |
annotate
|
Mon, 10 Aug 1998 11:51:09 +0200 |
paulson |
Tidying of AC, especially of AC16_WO4 using a locale
|
file |
diff |
annotate
|
Tue, 06 Feb 1996 12:27:17 +0100 |
clasohm |
expanded tabs
|
file |
diff |
annotate
|
Sat, 09 Dec 1995 13:36:11 +0100 |
clasohm |
removed quotes from consts and syntax sections
|
file |
diff |
annotate
|
Fri, 28 Jul 1995 11:02:22 +0200 |
lcp |
Ran expandshort and changed spelling of Grabczewski
|
file |
diff |
annotate
|
Tue, 25 Jul 1995 17:31:53 +0200 |
lcp |
Numerous small improvements by KG and LCP
|
file |
diff |
annotate
|