| changeset 31443 | c23663825e23 |
| parent 29520 | 7402322256b0 |
| child 32467 | 4dab52ca1402 |
--- a/src/Pure/Isar/isar_document.ML Thu Jun 04 22:08:20 2009 +0200 +++ b/src/Pure/Isar/isar_document.ML Thu Jun 04 22:52:53 2009 +0200 @@ -24,7 +24,7 @@ type command_id = string; type document_id = string; -fun make_id () = "isabelle:" ^ serial_string (); +fun make_id () = "i" ^ serial_string (); fun err_dup kind id = error ("Duplicate " ^ kind ^ ": " ^ quote id); fun err_undef kind id = error ("Unknown " ^ kind ^ ": " ^ quote id);