added class Property: basic Isabelle properties;
authorwenzelm
Thu, 03 Jan 2008 20:29:00 +0100
changeset 25812 687ee352c891
parent 25811 f7c048eafa90
child 25813 641b4da8eb9d
added class Property: basic Isabelle properties;
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.