Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added missing certificate file to "ROOT"
authorblanchet
Wed, 02 Jan 2013 09:13:50 +0100
changeset 50665 c9daeff9516e
parent 50664 fff984a77f58
child 50666 6f48853f08d5
added missing certificate file to "ROOT"
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- a/src/HOL/ROOT	Tue Jan 01 21:55:46 2013 +0100
+++ b/src/HOL/ROOT	Wed Jan 02 09:13:50 2013 +0100
@@ -677,6 +677,7 @@
   files
     "SMT_Examples.certs"
     "SMT_Tests.certs"
+    "SMT_Word_Examples.certs"
 
 session "HOL-Boogie" in "Boogie" = "HOL-Word" +
   options [document = false]
isabelle