Fri, 10 Oct 1997 19:02:28 +0200 |
wenzelm |
fixed dots;
|
file |
diff |
annotate
|
Fri, 04 Apr 1997 14:05:12 +0200 |
nipkow |
renamed variable 'inv'
|
file |
diff |
annotate
|
Mon, 03 Mar 1997 13:50:40 +0100 |
wenzelm |
added comment: print translations do not mark tokens;
|
file |
diff |
annotate
|
Wed, 27 Nov 1996 10:41:42 +0100 |
paulson |
Replaced obsolete "makestring" by Int.toString
|
file |
diff |
annotate
|
Tue, 25 Jun 1996 13:11:29 +0200 |
berghofe |
Changed argument order of nat_rec.
|
file |
diff |
annotate
|
Fri, 08 Mar 1996 13:11:09 +0100 |
clasohm |
added constdefs section
|
file |
diff |
annotate
|
Mon, 05 Feb 1996 21:29:06 +0100 |
clasohm |
expanded tabs; incorporated Konrad's changes
|
file |
diff |
annotate
|
Fri, 01 Dec 1995 14:17:50 +0100 |
clasohm |
removed quotes from types section
|
file |
diff |
annotate
|
Wed, 29 Nov 1995 17:01:41 +0100 |
clasohm |
removed quotes from consts and syntax sections
|
file |
diff |
annotate
|
Fri, 17 Nov 1995 09:04:10 +0100 |
nipkow |
New directory.
|
file |
diff |
annotate
|