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/Tools/install
2008-12-20 wenzelm removed Ids; file | diff | annotate
2008-11-30 wenzelm removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting; file | diff | annotate
2008-10-21 wenzelm tuned usage line; file | diff | annotate
2008-10-04 wenzelm simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle; file | diff | annotate
2008-04-08 wenzelm removed obsolete AUTO_BASH feature; file | diff | annotate
2005-07-01 wenzelm isatool install: removed KDE option; file | diff | annotate
2005-04-26 wenzelm removed -a option; file | diff | annotate
2005-04-26 wenzelm restored AUTO_BASH/PERL -- beware of ./configure! file | diff | annotate
2005-04-14 aspinall Add RDISTDIR option used by Isabelle RPM. file | diff | annotate
2005-03-04 skalberg Removed practically all references to Library.foldr. file | diff | annotate
2004-06-21 kleing Merged in license change from Isabelle2004 file | diff | annotate
2001-09-08 wenzelm smart selection of isabelle-process versus isabelle-interface; file | diff | annotate
2001-02-14 wenzelm tuned; file | diff | annotate
2001-02-14 wenzelm handle KDE version 1 or 2; file | diff | annotate
2000-11-30 wenzelm /usr/bin/env bash; file | diff | annotate
2000-11-21 wenzelm quote executable; file | diff | annotate
2000-09-19 wenzelm tuned msg; file | diff | annotate
2000-09-01 wenzelm GPLed; file | diff | annotate
1999-10-26 wenzelm Isabelle %f; file | diff | annotate
1999-10-20 wenzelm tuned usage; file | diff | annotate
1999-04-30 wenzelm improved icons; file | diff | annotate
1999-04-20 wenzelm fixed ISABELLE_HOME/lib/logo/isabelle-tiny.xpm; file | diff | annotate
1999-04-19 wenzelm improved usage; file | diff | annotate
1999-04-13 wenzelm -p option; file | diff | annotate
1999-01-12 wenzelm configure AUTO_BASH, AUTO_PERL; file | diff | annotate
1998-08-28 wenzelm tuned; file | diff | annotate
1998-08-28 wenzelm -d DISTDIR; file | diff | annotate
1998-08-27 wenzelm exec; file | diff | annotate
1998-08-24 wenzelm mkdir -p; file | diff | annotate
1998-08-24 wenzelm install binaries with absolute references to ISABELLE_HOME/bin; file | diff | annotate
less more (0) tip
isabelle