| Thu, 22 Apr 1999 18:18:47 +0200 | wenzelm | improved auto dir handling; | file | diff | annotate |
| Thu, 22 Apr 1999 13:28:11 +0200 | wenzelm | use_thy etc.: may specify path prefix, which is temporarily used as load path; | file | diff | annotate |
| Fri, 12 Mar 1999 18:49:02 +0100 | wenzelm | comment; | file | diff | annotate |
| Thu, 04 Feb 1999 18:18:02 +0100 | wenzelm | include full paths in file info; | file | diff | annotate |
| Wed, 03 Feb 1999 20:25:53 +0100 | wenzelm | check_thy: include ML stamp; | file | diff | annotate |
| Wed, 03 Feb 1999 17:25:12 +0100 | wenzelm | added reset_path; | file | diff | annotate |
| Sat, 30 Jan 1999 10:42:40 +0100 | wenzelm | Theory loader primitives. | file | diff | annotate |