| Tue, 11 Mar 1997 13:05:40 +0100 | wenzelm | added THIS_IS_ISABELLE_BUILD; | file | diff | annotate |
| Fri, 07 Mar 1997 16:16:47 +0100 | wenzelm | fixed src path; | file | diff | annotate |
| Fri, 07 Mar 1997 14:52:19 +0100 | wenzelm | tuned comment; | file | diff | annotate |
| Fri, 07 Mar 1997 11:49:04 +0100 | wenzelm | build - compile parts of the Isabelle system; | file | diff | annotate |