# HG changeset patch
# User Cezary Kaliszyk <kaliszyk@in.tum.de>
# Date 1272986758 -7200
# Node ID 65bdcc42baddb7c9d71509debd475583a6651d07
# Parent  37337fd5e8a7592d42e9095dc6cd7d159fd41318
"isabelle make" compiles all examples with newparser/newfv/newalpha only.

diff -r 37337fd5e8a7 -r 65bdcc42badd Nominal/Ex/Test.thy
--- a/Nominal/Ex/Test.thy	Tue May 04 17:15:21 2010 +0200
+++ b/Nominal/Ex/Test.thy	Tue May 04 17:25:58 2010 +0200
@@ -1,5 +1,5 @@
 theory Test
-imports "../Parser"
+imports "../NewParser"
 begin
 
 (* This file contains only the examples that are not supposed to work yet. *)
diff -r 37337fd5e8a7 -r 65bdcc42badd Nominal/ROOT.ML
--- a/Nominal/ROOT.ML	Tue May 04 17:15:21 2010 +0200
+++ b/Nominal/ROOT.ML	Tue May 04 17:25:58 2010 +0200
@@ -14,6 +14,6 @@
     "Ex/ExPS3",
     "Ex/ExPS7",
     "Ex/ExCoreHaskell",
-    "Ex/Test"
-(*  "Ex/ExPS6", *)
+    "Ex/Test",
+    "Manual/Term4"
     ];