lib/Tools/version
Wed, 31 Mar 2021 22:58:17 +0200 wenzelm further clarification of Isabelle distribution identification -- avoid odd patching of sources;
Wed, 31 Mar 2021 21:44:29 +0200 wenzelm more robust and uniform ISABELLE_TAGS;
Wed, 31 Mar 2021 18:12:46 +0200 wenzelm clarified ISABELLE_ID: distribution vs. hg archive vs. hg repos;
Sun, 28 Mar 2021 12:21:37 +0200 wenzelm more robust;
Sat, 27 Mar 2021 18:15:19 +0100 wenzelm more robust invocation of hg;
Sat, 27 Mar 2021 18:03:50 +0100 wenzelm tuned;
Sat, 27 Mar 2021 18:01:41 +0100 wenzelm clarified output;
Sat, 27 Mar 2021 17:13:15 +0100 wenzelm support repository archives (without full .hg directory);
Thu, 15 Mar 2018 22:28:20 +0100 wenzelm more accurate isabelle_id: parent directory is not necessarily at tip;
Thu, 15 Mar 2018 11:49:29 +0100 wenzelm clarified message;
Thu, 15 Mar 2018 11:44:07 +0100 wenzelm more uniform id;
Fri, 17 Aug 2012 11:42:05 +0200 wenzelm allow to provide external ISABELLE_IDENTIFIER for repository clone -- potentially relevant for isatest and mira;
Tue, 11 Jan 2011 19:55:34 +0100 wenzelm isabelle version -i;
Tue, 11 Aug 2009 15:53:13 +0200 wenzelm clarified situation about unidentified repository versions -- in a distributed setting there is not "the" repository;
Sat, 20 Dec 2008 11:39:27 +0100 wenzelm removed Ids;
less more (0) -15 tip