changeset 28218 | 1cb3bd5b664a |
parent 28217 | 21f0c2de0a38 |
child 28237 | f1fc11c73569 |
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