# HG changeset patch
# User wenzelm
# Date 1221855110 -7200
# Node ID 5097b8c0f59f86672d2ab8ccc523945a73836e36
# Parent  4b0477452943e23419b81d1443d1e6d543d8a197
Isar toplevel editor model.

diff -r 4b0477452943 -r 5097b8c0f59f src/Pure/Isar/isar.scala
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Pure/Isar/isar.scala	Fri Sep 19 22:11:50 2008 +0200
@@ -0,0 +1,29 @@
+/*  Title:      Pure/Isar/isar.scala
+    ID:         $Id$
+    Author:     Makarius
+    Options:    :folding=explicit:collapseFolds=1:
+
+Isar toplevel editor model.
+*/
+
+package isabelle
+
+import java.util.Properties
+
+
+class Isar(args: String*) extends IsabelleProcess(args: _*) {
+
+  /* basic editor commands */
+
+  def create_command(props: Properties, text: String) =
+    output_sync("Isar.command " + IsabelleSyntax.encode_properties(props) + " " +
+      IsabelleSyntax.encode_string(text))
+
+  def insert_command(prev: String, id: String) =
+    output_sync("Isar.insert " + IsabelleSyntax.encode_string(prev) + " " +
+      IsabelleSyntax.encode_string(id))
+
+  def remove_command(id: String) =
+    output_sync("Isar.remove " + IsabelleSyntax.encode_string(id))
+
+}