Merge pull request #4 from mfernandez/master

Remove deprecated Isabelle files.
seL4 · Jul 27, 2014 · 529a750 · 529a750
2 parents 9d32093 + eddebfd
commit 529a750
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 141 deletions.
diff --git a/.hgignore b/.hgignore
@@ -10,9 +10,6 @@ parsetab\.py$
 # Generated test files.
 ^tests/\.stable[12]$
 
-# Generated C parser input
-^include/isabelle/.*_pp
-
 # Generate docs
 ^docs/.*\.html$
 ^docs/contents\.js$
diff --git a/include/README b/include/README
@@ -14,6 +14,3 @@ environment. For the most part you will need to pay this directory no mind.
 builtin/ - ADL/IDL files that are analogous to the C standard library. You
     should arrange for this to be in the --import-path when runner the tools to
     let users reference files in here with "import <...>" syntax.
-isabelle/ - Theories of various structs and functions in Isabelle. This
-    directory is basically experimentation and most (if not all) of it has been
-    deprecated or migrated to l4.verified.
diff --git a/include/isabelle/GlueMarshal_CAMKES.thy b/include/isabelle/GlueMarshal_CAMKES.thy
diff --git a/include/isabelle/Lib_CAMKES.thy b/include/isabelle/Lib_CAMKES.thy
diff --git a/include/isabelle/Makefile b/include/isabelle/Makefile