isabelle: File revisions

ANNOUNCE

10 months ago	wenzelm	2017-09-08	updated for release;	file \| diff \| annotate
10 months ago	wenzelm	2017-09-03	updated for release;	file \| diff \| annotate
11 months ago	wenzelm	2017-08-21	tuned;	file \| diff \| annotate
11 months ago	wenzelm	2017-08-21	misc updates for release;	file \| diff \| annotate
19 months ago	wenzelm	2016-12-12	tuned;	file \| diff \| annotate
21 months ago	wenzelm	2016-10-28	tuned;	file \| diff \| annotate
21 months ago	wenzelm	2016-10-28	tuned;	file \| diff \| annotate
21 months ago	wenzelm	2016-10-25	updated for release;	file \| diff \| annotate
21 months ago	wenzelm	2016-10-07	updated for release;	file \| diff \| annotate
2016-01-18	wenzelm	2016-01-18	updated mirrors according to website;	file \| diff \| annotate
2016-01-16	wenzelm	2016-01-16	tuned URLs according to website;	file \| diff \| annotate
2016-01-06	wenzelm	2016-01-06	misc tuning for release;	file \| diff \| annotate
2016-01-05	wenzelm	2016-01-05	misc tuning for release;	file \| diff \| annotate
2016-01-01	wenzelm	2016-01-01	tuned;	file \| diff \| annotate
2016-01-01	wenzelm	2016-01-01	updated for release;	file \| diff \| annotate
2015-12-31	wenzelm	2015-12-31	misc updates for release;	file \| diff \| annotate
2015-04-17	wenzelm	2015-04-17	tuned spelling;	file \| diff \| annotate
2015-04-17	wenzelm	2015-04-17	added Eisbach, using version 3752768caa17 of its Bitbucket repository;	file \| diff \| annotate
2015-04-17	wenzelm	2015-04-17	ANNOUNCE material, based on NEWS;	file \| diff \| annotate
2015-04-11	wenzelm	2015-04-11	updated for release;	file \| diff \| annotate
2014-07-05	wenzelm	2014-07-05	update for release;	file \| diff \| annotate
2014-07-04	wenzelm	2014-07-04	tuned;	file \| diff \| annotate
2014-07-04	wenzelm	2014-07-04	tuned;	file \| diff \| annotate
2014-07-04	wenzelm	2014-07-04	misc tuning for release;	file \| diff \| annotate
2014-07-01	wenzelm	2014-07-01	misc updates for release;	file \| diff \| annotate
2013-11-20	wenzelm	2013-11-20	updated to Isabelle2013-2;	file \| diff \| annotate
2013-10-03	wenzelm	2013-10-03	tuned;	file \| diff \| annotate
2013-10-03	wenzelm	2013-10-03	tuned;	file \| diff \| annotate
2013-10-02	wenzelm	2013-10-02	some highlights of Isabelle2013-1 based on NEWS;	file \| diff \| annotate
2013-09-29	wenzelm	2013-09-29	updated for release;	file \| diff \| annotate
2013-01-25	wenzelm	2013-01-25	updated for release;	file \| diff \| annotate
2013-01-20	wenzelm	2013-01-20	misc tuning for release;	file \| diff \| annotate
2012-05-05	wenzelm	2012-05-05	some highlights of Isabelle2012;	file \| diff \| annotate
2012-04-14	wenzelm	2012-04-14	some updates for release;	file \| diff \| annotate
2011-09-18	wenzelm	2011-09-18	tentative announcement based on current NEWS;	file \| diff \| annotate
2011-09-07	wenzelm	2011-09-07	some updates for release;	file \| diff \| annotate
2011-01-17	wenzelm	2011-01-17	tuned;	file \| diff \| annotate
2011-01-17	wenzelm	2011-01-17	some announcement;	file \| diff \| annotate
2010-06-07	wenzelm	2010-06-07	tuned ANNOUNCEMENT;	file \| diff \| annotate
2010-06-04	haftmann	2010-06-04	first proposal for a announcement	file \| diff \| annotate
2010-05-28	wenzelm	2010-05-28	some updates for release;	file \| diff \| annotate
2009-11-28	wenzelm	2009-11-28	added "sos"; added subgoal focus;	file \| diff \| annotate
2009-11-24	haftmann	2009-11-24	consisten upper/lower case	file \| diff \| annotate
2009-11-23	wenzelm	2009-11-23	more tuning for release;	file \| diff \| annotate
2009-11-23	haftmann	2009-11-23	ANNOUNCE	file \| diff \| annotate
2009-11-22	wenzelm	2009-11-22	misc tuning and updates for official release;	file \| diff \| annotate
2009-04-15	wenzelm	2009-04-15	tuned;	file \| diff \| annotate
2009-04-14	wenzelm	2009-04-14	tuned;	file \| diff \| annotate
2009-04-14	wenzelm	2009-04-14	added Haskabelle -- in accordance to website/index.html version f397b96e3ad2;	file \| diff \| annotate
2009-04-02	wenzelm	2009-04-02	updates for Isabelle2009 release;	file \| diff \| annotate
2008-06-05	haftmann	2008-06-05	adjusted location of cambridge website	file \| diff \| annotate
2008-06-03	wenzelm	2008-06-03	some fine-tuning;	file \| diff \| annotate
2008-06-03	wenzelm	2008-06-03	reorganized isar-ref;	file \| diff \| annotate
2008-05-28	wenzelm	2008-05-28	tuned;	file \| diff \| annotate
2008-05-28	wenzelm	2008-05-28	added some notable improvements;	file \| diff \| annotate
2008-05-28	wenzelm	2008-05-28	prepared for Isabelle2008;	file \| diff \| annotate
2007-11-06	wenzelm	2007-11-06	tuned;	file \| diff \| annotate
2007-11-06	haftmann	2007-11-06	added autoquickcheck	file \| diff \| annotate
2007-11-04	wenzelm	2007-11-04	the all-important ML antiquotations are back; tuned;	file \| diff \| annotate
2007-11-02	haftmann	2007-11-02	tuned	file \| diff \| annotate

(0) -100 -60 tip

isabelle

RSS Atom