bin/isabelle
1997-02-06 wenzelm removed getplatform;
1996-12-16 wenzelm now fails if getsettings not found;
1996-12-09 wenzelm added -norc option;
1996-12-04 wenzelm improved 'not found' messages;
1996-12-02 wenzelm isabelle: Basic Isabelle startup script.
less more (0) tip