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.
Admin/update-keywords
Sat, 04 Oct 2008 17:40:56 +0200 wenzelm simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle; file | diff | annotate
Fri, 03 Oct 2008 19:35:14 +0200 wenzelm removed HOL-Plain -- already included in HOL; file | diff | annotate
Sat, 28 Jun 2008 21:21:20 +0200 wenzelm include HOL-Plain; file | diff | annotate
Wed, 24 Oct 2007 19:46:00 +0200 wenzelm added HOL-Statespace session; file | diff | annotate
Mon, 08 Oct 2007 18:13:01 +0200 wenzelm moved HOL-Nominal keywords into default collection (isar-keywords.el); file | diff | annotate
Sun, 07 Oct 2007 13:32:14 +0200 wenzelm emacs vs. jedit; file | diff | annotate
Sat, 06 Oct 2007 22:07:16 +0200 wenzelm use isatool keywords -- generate from logs instead of session images; file | diff | annotate
Tue, 10 Jul 2007 13:12:53 +0200 wenzelm cd ISABELLE_HOME/etc; file | diff | annotate
Sat, 11 Nov 2006 14:52:25 +0100 wenzelm Update standard keyword files. file | diff | annotate
less more (0) tip
isabelle