isabelle: File revisions

8 months ago	wenzelm	2019-04-02	misc tuning for release;	file \| diff \| annotate
18 months ago	wenzelm	2018-06-06	updated for release; tuned;	file \| diff \| annotate
2017-08-21	wenzelm	2017-08-21	misc updates for release;	file \| diff \| annotate
2015-12-31	wenzelm	2015-12-31	misc updates for release;	file \| diff \| annotate
2015-04-08	wenzelm	2015-04-08	misc tuning for release;	file \| diff \| annotate
2014-05-08	wenzelm	2014-05-08	update for release;	file \| diff \| annotate
2012-12-31	wenzelm	2012-12-31	updated for release;	file \| diff \| annotate
2012-04-14	wenzelm	2012-04-14	some updates for release;	file \| diff \| annotate
2011-01-07	wenzelm	2011-01-07	updated for 2011; emphasize "contributors" in the header as well, which are already mentioned in the body text;	file \| diff \| annotate
2010-05-28	wenzelm	2010-05-28	some updates for release;	file \| diff \| annotate
2009-04-15	wenzelm	2009-04-15	updated for Isabelle2009;	file \| diff \| annotate
2008-06-20	wenzelm	2008-06-20	updated for 2008; proper name of TUM;	file \| diff \| annotate
2007-10-01	wenzelm	2007-10-01	updated year to 2007;	file \| diff \| annotate
2005-09-21	wenzelm	2005-09-21	updated for Isabelle2005;	file \| diff \| annotate
2004-06-21	kleing	2004-06-21	Merged in license change from Isabelle2004	file \| diff \| annotate
2003-06-19	paulson	2003-06-19	inserted TUM in other places	file \| diff \| annotate
2003-06-16	paulson	2003-06-16	added TUM	file \| diff \| annotate
1993-12-13	lcp	1993-12-13	new year	file \| diff \| annotate
1993-09-16	clasohm	1993-09-16	Initial revision	file \| diff \| annotate

isabelle

RSS Atom