Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +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.
Sat, 15 Jan 2011 12:48:39 +0100 Added HOL-SPARK and removed old_primrec.ML
changeset
berghofe [Sat, 15 Jan 2011 12:48:39 +0100] rev 41566
Added HOL-SPARK and removed old_primrec.ML
Sat, 15 Jan 2011 12:47:52 +0100 unused_thms no longer compares propositions, since this is no longer needed
changeset
berghofe [Sat, 15 Jan 2011 12:47:52 +0100] rev 41565
unused_thms no longer compares propositions, since this is no longer needed and did not work properly any longer after the addition of class constraints to propositions.
Sat, 15 Jan 2011 12:42:19 +0100 Include HOL-SPARK keywords
changeset
berghofe [Sat, 15 Jan 2011 12:42:19 +0100] rev 41564
Include HOL-SPARK keywords
Sat, 15 Jan 2011 12:41:07 +0100 Include HOL-SPARK
changeset
berghofe [Sat, 15 Jan 2011 12:41:07 +0100] rev 41563
Include HOL-SPARK
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle