| Fri, 30 Jul 1999 15:56:33 +0200 | wenzelm | added update_thy_only; | file | diff | annotate |
| Mon, 12 Jul 1999 21:51:47 +0200 | wenzelm | removed merge_theories; | file | diff | annotate |
| Tue, 18 May 1999 12:35:10 +0200 | paulson | locale documentation (from Florian) | file | diff | annotate |
| Mon, 17 May 1999 19:15:35 +0200 | wenzelm | remove_thy; | file | diff | annotate |
| Mon, 10 May 1999 16:48:00 +0200 | wenzelm | axclass; | file | diff | annotate |
| Wed, 05 May 1999 16:44:42 +0200 | paulson | Now uses manual.bib; some references updated | file | diff | annotate |
| Tue, 04 May 1999 11:27:25 +0200 | wenzelm | tuned; | file | diff | annotate |