author | wenzelm |
Thu, 03 Jan 2008 20:29:00 +0100 | |
changeset 25812 | 687ee352c891 |
parent 25811 | f7c048eafa90 |
child 25813 | 641b4da8eb9d |
--- 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.