doc-src/TutorialI/Documents/Documents.thy
Sun, 30 Nov 2008 12:58:20 +0100 wenzelm default for ISABELLE_HOME_USER is now ~/.isabelle instead of ~/isabelle;
less more (0) -30 -10 -1 tip