lib/Tools/version
17 months ago wenzelm 2018-03-15 more accurate isabelle_id: parent directory is not necessarily at tip;
17 months ago wenzelm 2018-03-15 clarified message;
17 months ago wenzelm 2018-03-15 more uniform id;
2012-08-17 wenzelm 2012-08-17 allow to provide external ISABELLE_IDENTIFIER for repository clone -- potentially relevant for isatest and mira; clarified spaces in file names -- ISABELLE_HOME is non-critical after abolishment of "make";
2011-01-11 wenzelm 2011-01-11 isabelle version -i;
2009-08-11 wenzelm 2009-08-11 clarified situation about unidentified repository versions -- in a distributed setting there is not "the" repository;
2008-12-20 wenzelm 2008-12-20 removed Ids;
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2003-02-03 berghofe 2003-02-03 New tool for displaying version information.