Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
Thu, 16 Sep 2010 13:49:14 +0200 bulwahn adding another context free grammar example for the predicate compiler changeset | files
Thu, 16 Sep 2010 13:49:12 +0200 bulwahn adding values to show and ensure that values works with complex terms and restores numerals on natural numbers changeset | files
Thu, 16 Sep 2010 13:49:11 +0200 bulwahn adding restoring of numerals for natural numbers for values command changeset | files
Thu, 16 Sep 2010 13:49:10 +0200 bulwahn values command for prolog supports complex terms and not just variables changeset | files
Thu, 16 Sep 2010 13:49:08 +0200 bulwahn adapting examples changeset | files
Thu, 16 Sep 2010 13:49:06 +0200 bulwahn registering code_prolog as component; using environment variable; adding settings file for prolog code generation changeset | files
Thu, 16 Sep 2010 13:49:04 +0200 bulwahn adding mode inference to prolog compilation; separate between (ad-hoc) code modifications and system_configuration; adapting quickcheck changeset | files
Thu, 16 Sep 2010 15:34:31 +0100 paulson merged changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle