Mercurial Mercurial > repos > isabelle / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/scripts/run-polyml
2005-06-05 wenzelm DISCGARB_OPTIONS: proper treatment of specific polyml versions; file | diff | annotate
2005-04-26 wenzelm no longer need feeder to run normal interactive sessions; file | diff | annotate
2004-06-21 kleing Merged in license change from Isabelle2004 file | diff | annotate
2003-05-06 kleing use -Smax with poly 4.1.3 for maximum database space (see poly release notes) file | diff | annotate
2002-03-01 wenzelm option -S 180; file | diff | annotate
2002-01-17 wenzelm cover polyml-4.1.2; file | diff | annotate
2001-11-08 wenzelm got rid of obsolete input filtering; file | diff | annotate
2001-08-08 wenzelm [ "$ML_SYSTEM" = polyml-4.1.1 ] && DISCGARB_OPTIONS="$DISCGARB_OPTIONS -S 120"; file | diff | annotate
2000-11-30 wenzelm /usr/bin/env bash; file | diff | annotate
2000-10-12 wenzelm accomodate Poly/ML 4.0; file | diff | annotate
2000-09-28 wenzelm added COPYDB argument; file | diff | annotate
2000-09-15 wenzelm keep export of ISABELLE_TMP (!!!); file | diff | annotate
2000-09-15 wenzelm hunting gremlins ...; file | diff | annotate
2000-09-15 wenzelm unexport exports; file | diff | annotate
2000-09-01 wenzelm GPLed; file | diff | annotate
2000-08-31 wenzelm improved exit function for polyml-4.0; file | diff | annotate
2000-05-08 wenzelm always discgarb -c; file | diff | annotate
2000-03-08 wenzelm observe COMPRESS option; file | diff | annotate
1998-06-22 wenzelm check_mlhome_file; file | diff | annotate
1997-12-31 wenzelm use feeder to pipe into ML; file | diff | annotate
1997-12-01 wenzelm ISABELLE_TMP; file | diff | annotate
1997-07-07 wenzelm NOWRITE; file | diff | annotate
1997-04-25 wenzelm removed COPYDB flag; 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-02-10 wenzelm tuned startup; file | diff | annotate
1997-01-23 wenzelm 'rm -f' instead of 'cp -f'; file | diff | annotate
1996-12-16 wenzelm added symbolinput filter; file | diff | annotate
1996-12-13 wenzelm now discgarb called only for changed databases; file | diff | annotate
1996-12-09 wenzelm various fixes; file | diff | annotate
1996-12-04 wenzelm replaced cat by ucat; file | diff | annotate
1996-12-02 wenzelm run-polyml: Poly/ML startup script. file | diff | annotate
less more (0) tip
isabelle