Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/ROOT
changeset 50348 4b4fe0d5ee22
parent 50179 978200ae8473
child 50480 d466ebc27810 
--- a/src/HOL/ROOT	Tue Dec 04 18:00:37 2012 +0100
+++ b/src/HOL/ROOT	Tue Dec 04 18:00:40 2012 +0100
@@ -577,7 +577,6 @@
     Multivariate_Analysis
     Determinants
   files
-    "Integration.certs"
     "document/root.tex"
 
 session "HOL-Probability" in "Probability" = "HOL-Multivariate_Analysis" +
isabelle