isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

ANNOUNCE

2008-06-05	haftmann	adjusted location of cambridge website	file \| diff \| annotate
2008-06-03	wenzelm	some fine-tuning;	file \| diff \| annotate
2008-06-02	wenzelm	reorganized isar-ref;	file \| diff \| annotate
2008-05-28	wenzelm	tuned;	file \| diff \| annotate
2008-05-28	wenzelm	added some notable improvements;	file \| diff \| annotate
2008-05-28	wenzelm	prepared for Isabelle2008;	file \| diff \| annotate
2007-11-06	wenzelm	tuned;	file \| diff \| annotate
2007-11-06	haftmann	added autoquickcheck	file \| diff \| annotate
2007-11-04	wenzelm	the all-important ML antiquotations are back;	file \| diff \| annotate
2007-11-02	haftmann	tuned	file \| diff \| annotate
2007-10-30	haftmann	fixed typo	file \| diff \| annotate
2007-10-29	haftmann	fixed typo	file \| diff \| annotate
2007-10-29	haftmann	added nbe	file \| diff \| annotate
2007-10-27	haftmann	added list comprehension syntax	file \| diff \| annotate
2007-10-26	haftmann	added hint for algebra	file \| diff \| annotate
2007-10-22	wenzelm	tuned Nominal entry;	file \| diff \| annotate
2007-10-02	wenzelm	tuned;	file \| diff \| annotate
2007-10-01	wenzelm	preliminary material for Isabelle2007;	file \| diff \| annotate
2005-09-28	haftmann	adjusted www links	file \| diff \| annotate
2005-09-28	wenzelm	revert 'defs' advertisement;	file \| diff \| annotate
2005-09-27	wenzelm	more details about incomplete 'defs';	file \| diff \| annotate
2005-09-21	wenzelm	tuned;	file \| diff \| annotate
2005-09-21	wenzelm	updated for Isabelle2005;	file \| diff \| annotate
2004-04-19	kleing	add HOL4	file \| diff \| annotate
2004-04-17	kleing	added sydney mirror	file \| diff \| annotate
2004-04-17	nipkow	2003 -> 2004	file \| diff \| annotate
2003-05-12	nipkow	* empty log message *	file \| diff \| annotate
2003-05-12	paulson	tweaked	file \| diff \| annotate
2003-05-12	nipkow	* empty log message *	file \| diff \| annotate
2002-03-08	wenzelm	drop Stanford mirror;	file \| diff \| annotate

less more (0) -30 tip

isabelle

RSS Atom