isabelle: File revisions

lib/Tools/version

Thu, 15 Mar 2018 22:28:20 +0100	wenzelm	more accurate isabelle_id: parent directory is not necessarily at tip;	file \| diff \| annotate
Thu, 15 Mar 2018 11:49:29 +0100	wenzelm	clarified message;	file \| diff \| annotate
Thu, 15 Mar 2018 11:44:07 +0100	wenzelm	more uniform id;	file \| diff \| annotate
Fri, 17 Aug 2012 11:42:05 +0200	wenzelm	allow to provide external ISABELLE_IDENTIFIER for repository clone -- potentially relevant for isatest and mira;	file \| diff \| annotate
Tue, 11 Jan 2011 19:55:34 +0100	wenzelm	isabelle version -i;	file \| diff \| annotate
Tue, 11 Aug 2009 15:53:13 +0200	wenzelm	clarified situation about unidentified repository versions -- in a distributed setting there is not "the" repository;	file \| diff \| annotate
Sat, 20 Dec 2008 11:39:27 +0100	wenzelm	removed Ids;	file \| diff \| annotate
Mon, 21 Jun 2004 10:25:57 +0200	kleing	Merged in license change from Isabelle2004	file \| diff \| annotate
Mon, 03 Feb 2003 11:45:05 +0100	berghofe	New tool for displaying version information.	file \| diff \| annotate

isabelle