Thu, 21 Sep 2000 12:13:36 +0200 |
kleing |
tuned, added lightweight BV to abstract, added Bali link
|
file |
diff |
annotate
|
Mon, 18 Sep 2000 21:29:49 +0200 |
wenzelm |
*** empty log message ***
|
file |
diff |
annotate
|
Fri, 15 Sep 2000 18:36:50 +0200 |
oheimb |
added mJava macro
|
file |
diff |
annotate
|
Fri, 15 Sep 2000 18:14:17 +0200 |
oheimb |
added mJava macro
|
file |
diff |
annotate
|
Fri, 15 Sep 2000 16:44:57 +0200 |
wenzelm |
added latexsym (no longer loaded by isabellesym);
|
file |
diff |
annotate
|
Mon, 11 Sep 2000 17:40:41 +0200 |
wenzelm |
added title, abstract, bibliography;
|
file |
diff |
annotate
|
Sun, 03 Sep 2000 20:03:05 +0200 |
wenzelm |
improved section markup;
|
file |
diff |
annotate
|
Thu, 31 Aug 2000 14:11:04 +0200 |
kleing |
tuned
|
file |
diff |
annotate
|
Wed, 30 Aug 2000 21:40:35 +0200 |
kleing |
tuned
|
file |
diff |
annotate
|
Fri, 04 Feb 2000 21:45:57 +0100 |
wenzelm |
added MicroJava/document;
|
file |
diff |
annotate
|