author | wenzelm |
Mon, 15 Sep 2008 16:43:53 +0200 | |
changeset 28218 | 1cb3bd5b664a |
parent 28217 | 21f0c2de0a38 |
child 28219 | 5465883d64da |
1.1 --- a/doc-src/antiquote_setup.ML Mon Sep 15 16:43:31 2008 +0200 1.2 +++ b/doc-src/antiquote_setup.ML Mon Sep 15 16:43:53 2008 +0200 1.3 @@ -143,7 +143,7 @@ 1.4 (ThyLoad.check_thy Path.current name; Pretty.str name))))]; 1.5 1.6 1.7 -(* Isar entities (with index) *) 1.8 +(* Isabelle entities (with index) *) 1.9 1.10 local 1.11