diff -r f7c048eafa90 -r 687ee352c891 lib/classes/isabelle/IsabelleProcess.java
--- a/lib/classes/isabelle/IsabelleProcess.java	Thu Jan 03 18:19:27 2008 +0100
+++ b/lib/classes/isabelle/IsabelleProcess.java	Thu Jan 03 20:29:00 2008 +0100
@@ -169,6 +169,15 @@
         }
     }
 
+    
+    /**
+     * Models basic Isabelle properties
+     */
+    public static class Property {
+        public static String ID = "id";
+        public static String LINE = "line";
+        public static String FILE = "file";
+    }
 
     /**
      * Auxiliary operation to encode text as Isabelle string token.