isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

Admin/makedist

2005-09-21	wenzelm	fixed cvs export;	file \| diff \| annotate
2005-09-21	wenzelm	tuned;	file \| diff \| annotate
2005-09-21	wenzelm	tuned;	file \| diff \| annotate
2005-09-21	wenzelm	removed "--" argument;	file \| diff \| annotate
2005-06-21	haftmann	removed mkcontent from makedist	file \| diff \| annotate
2005-06-20	wenzelm	exclude pghead.pdf from doc;	file \| diff \| annotate
2005-06-09	haftmann	added CONTRIBUTORS	file \| diff \| annotate
2005-06-06	haftmann	migrated scripts to new webiste	file \| diff \| annotate
2005-06-05	wenzelm	find empty dirs up to depth 5;	file \| diff \| annotate
2005-06-01	haftmann	concl antiqutations	file \| diff \| annotate
2005-05-29	kleing	make COPYRIGHT file available for web page	file \| diff \| annotate
2005-01-13	berghofe	Added ChangeLog	file \| diff \| annotate
2003-02-03	berghofe	Fill in version information in lib/Tools/version.	file \| diff \| annotate
2002-06-20	kleing	fail more gracefully, return proper exit codes, allow preset DISTPREFIX	file \| diff \| annotate
2002-04-30	kleing	physical location of isabelle repository is now sunbroy2	file \| diff \| annotate
2002-03-08	wenzelm	tuned;	file \| diff \| annotate
2002-02-28	wenzelm	delete .cvsignore;	file \| diff \| annotate
2002-01-11	wenzelm	#!/usr/bin/env bash;	file \| diff \| annotate
2001-10-29	wenzelm	tuned;	file \| diff \| annotate
2001-07-02	wenzelm	*do not* ./configure;**	file \| diff \| annotate
2001-02-05	wenzelm	tuned;	file \| diff \| annotate
2001-01-18	wenzelm	generate index.html for pdf docs;	file \| diff \| annotate
2000-11-28	wenzelm	fixed hostname;	file \| diff \| annotate
2000-11-28	wenzelm	detect CVSROOT;	file \| diff \| annotate
2000-10-08	wenzelm	tuned;	file \| diff \| annotate
2000-09-28	wenzelm	tuned;	file \| diff \| annotate
2000-09-27	wenzelm	tuned;	file \| diff \| annotate
2000-09-26	wenzelm	tuned;	file \| diff \| annotate
2000-09-26	wenzelm	tuned;	file \| diff \| annotate
2000-09-25	wenzelm	include "Isabelle" link;	file \| diff \| annotate
2000-09-18	wenzelm	include ANNOUNCE;	file \| diff \| annotate
2000-09-14	wenzelm	"Isabelle repository version";	file \| diff \| annotate
2000-09-12	wenzelm	tuned;	file \| diff \| annotate
2000-09-11	wenzelm	tuned;	file \| diff \| annotate
2000-09-11	wenzelm	improved WWW page generation (still somewhat experimental);	file \| diff \| annotate
2000-09-06	wenzelm	tuned;	file \| diff \| annotate
2000-09-06	wenzelm	tuned;	file \| diff \| annotate
2000-09-05	wenzelm	tuned;	file \| diff \| annotate
2000-09-02	wenzelm	provide "--" argument: tentative release;	file \| diff \| annotate
2000-09-01	wenzelm	cleanup dist sources afterwards;	file \| diff \| annotate
2000-06-07	wenzelm	provide TAGS file for Isabelle sources;	file \| diff \| annotate
2000-05-05	wenzelm	removed index2;	file \| diff \| annotate
1999-12-09	kleing	new web pages integrated	file \| diff \| annotate
1999-11-02	wenzelm	tuned;	file \| diff \| annotate
1999-10-13	wenzelm	berghofe;	file \| diff \| annotate
1999-10-07	wenzelm	delete Tools;	file \| diff \| annotate
1999-07-28	wenzelm	mkdir contrib;	file \| diff \| annotate
1999-07-09	wenzelm	rmdir pdf;	file \| diff \| annotate
1999-06-02	wenzelm	find -print;	file \| diff \| annotate
1999-05-28	wenzelm	move pdfs back into dist;	file \| diff \| annotate
1999-05-28	wenzelm	separate archive for pdf docs;	file \| diff \| annotate
1999-05-10	wenzelm	make pdf;	file \| diff \| annotate
1999-03-04	wenzelm	fixed again;	file \| diff \| annotate
1999-03-01	wenzelm	fixed {ISABELLE};	file \| diff \| annotate
1998-11-09	wenzelm	Check release name and date in NEWS!	file \| diff \| annotate
1998-10-25	wenzelm	tuned checklist; Isabelle98-1	file \| diff \| annotate
1998-10-22	wenzelm	fixed index.html;	file \| diff \| annotate
1998-10-22	wenzelm	tuned;	file \| diff \| annotate
1998-10-07	wenzelm	tuned rm CVS;	file \| diff \| annotate
1998-08-27	wenzelm	eps logis;	file \| diff \| annotate

less more (0) -60 tip

isabelle

RSS Atom