isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

bin/isatool

2005-05-17	wenzelm	proper treatment of directory links;	file \| diff \| annotate
2005-04-28	wenzelm	make symlink handling compatible with whitespaces	file \| diff \| annotate
2005-04-26	wenzelm	improved handling of symlinks;	file \| diff \| annotate
2004-06-21	kleing	Merged in license change from Isabelle2004	file \| diff \| annotate
2001-02-03	wenzelm	use fgrep;	file \| diff \| annotate
2000-11-30	wenzelm	/usr/bin/env bash;	file \| diff \| annotate
2000-11-22	wenzelm	tuned;	file \| diff \| annotate
2000-09-01	wenzelm	GPLed;	file \| diff \| annotate
1999-10-29	wenzelm	tuned msg;	file \| diff \| annotate
1997-05-21	wenzelm	fixed spelling;	file \| diff \| annotate
1997-04-22	wenzelm	removed -norc;	file \| diff \| annotate
1997-04-11	wenzelm	fixed { ... } shell syntax to accomodate bash 2.x;	file \| diff \| annotate
1997-03-11	wenzelm	tuned comments;	file \| diff \| annotate
1997-03-06	wenzelm	Oops, forgot to remove -x again;	file \| diff \| annotate
1997-03-06	wenzelm	even more robust and user friendly invocation (no longer requieres	file \| diff \| annotate
1997-02-28	wenzelm	more robust handling of invocation errors;	file \| diff \| annotate
1997-01-13	wenzelm	added -? option;	file \| diff \| annotate
1996-12-18	wenzelm	improved usage msg;	file \| diff \| annotate
1996-12-16	wenzelm	now fails if getsettings not found;	file \| diff \| annotate
1996-12-09	wenzelm	added -norc option;	file \| diff \| annotate
1996-12-04	wenzelm	* empty log message *	file \| diff \| annotate
1996-12-02	wenzelm	isatool: Isabelle tool starter -- keeps your PATH name space clean.	file \| diff \| annotate

less more (0) tip

isabelle

RSS Atom