# HG changeset patch
# User wenzelm
# Date 918056897 -3600
# Node ID 358f62acf57383a8e4037f138716994cd899e9fc
# Parent  451d3d6c088f93d01de709257f6fa12546de3a9f
comment;

diff -r 451d3d6c088f -r 358f62acf573 src/Pure/Isar/toplevel.ML
--- a/src/Pure/Isar/toplevel.ML	Wed Feb 03 16:48:02 1999 +0100
+++ b/src/Pure/Isar/toplevel.ML	Wed Feb 03 16:48:17 1999 +0100
@@ -12,6 +12,7 @@
   - improve transactions; only in interactive mode!
   - init / exit proof;
   - display stack size in prompt (prompt: state -> string (hook));
+  - excursion: more robust checking of begin / end theory match (including correct name);
 *)
 
 signature TOPLEVEL =