--- a/src/HOL/ROOT Tue Jul 24 21:54:49 2012 +0200
+++ b/src/HOL/ROOT Tue Jul 24 22:00:12 2012 +0200
@@ -621,7 +621,6 @@
session "HOL-Boogie"! in "Boogie" = "HOL-Word" +
options [document = false]
theories Boogie
- (* FIXME files!?! *)
session Examples in "Boogie/Examples" = "HOL-Boogie" +
options [document = false]
@@ -631,8 +630,11 @@
Boogie_Dijkstra
VCC_Max
files
+ "Boogie_Dijkstra.b2i"
"Boogie_Dijkstra.certs"
+ "Boogie_Max.b2i"
"Boogie_Max.certs"
+ "VCC_Max.b2i"
"VCC_Max.certs"
session "HOL-SPARK"! in "SPARK" = "HOL-Word" +