isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

CONTRIBUTORS

2011-01-17	wenzelm	back to post-release mode;	file \| diff \| annotate
2011-01-16	wenzelm	misc updates for release;	file \| diff \| annotate
2011-01-15	berghofe	Added entry for HOL-SPARK	file \| diff \| annotate
2011-01-12	krauss	CONTRIBUTORS	file \| diff \| annotate
2011-01-11	wenzelm	updated to Isabelle2011;	file \| diff \| annotate
2010-11-05	wenzelm	proper spelling;	file \| diff \| annotate
2010-11-05	hoelzl	Extend convex analysis by Bogdan Grechuk	file \| diff \| annotate
2010-10-29	wenzelm	CONTRIBUTORS;	file \| diff \| annotate
2010-10-25	haftmann	CONTRIBUTORS	file \| diff \| annotate
2010-09-23	haftmann	CONTRIBUTORS and NEWS	file \| diff \| annotate
2010-08-23	hoelzl	Rewrite the Probability theory.	file \| diff \| annotate
2010-08-17	haftmann	NEWS and CONTRIBUTORS	file \| diff \| annotate
2010-06-07	wenzelm	back to non-release mode;	file \| diff \| annotate
2010-06-03	krauss	CONTRIBUTORS	file \| diff \| annotate
2010-06-02	wenzelm	more CONTRIBUTORS;	file \| diff \| annotate
2010-05-27	wenzelm	misc updates for release;	file \| diff \| annotate
2010-04-27	haftmann	NEWS and CONTRIBUTORS	file \| diff \| annotate
2009-12-04	wenzelm	back to after-release mode;	file \| diff \| annotate
2009-11-25	wenzelm	tuned affiliation;	file \| diff \| annotate
2009-11-25	boehmes	extended list of HOL-Boogie contributors	file \| diff \| annotate
2009-11-23	haftmann	CONTRIBUTORS	file \| diff \| annotate
2009-11-22	wenzelm	more NEWS, more tuning for release;	file \| diff \| annotate
2009-11-22	wenzelm	misc tuning and updates for official release;	file \| diff \| annotate
2009-11-19	hoelzl	Added the contributions of Robert Himmelmann to CONTRIBUTIONS and NEWS	file \| diff \| annotate
2009-11-12	bulwahn	added a tabled implementation of the reflexive transitive closure	file \| diff \| annotate
2009-11-12	bulwahn	announcing the predicate compiler in NEWS and CONTRIBUTORS	file \| diff \| annotate
2009-11-03	boehmes	added HOL-Boogie	file \| diff \| annotate
2009-10-26	blanchet	merged	file \| diff \| annotate
2009-10-22	blanchet	added Nitpick's theory and ML files to Isabelle/HOL;	file \| diff \| annotate
2009-10-26	wenzelm	misc tuning and updates;	file \| diff \| annotate

less more (0) -50 -30 tip

isabelle

RSS Atom