# HG changeset patch
# User wenzelm
# Date 1221489833 -7200
# Node ID 1cb3bd5b664a2e7f474bcef90f56d34562a2c02b
# Parent  21f0c2de0a3805573491e8aa00ae22a3b0acf5b0
tuned comment;

diff -r 21f0c2de0a38 -r 1cb3bd5b664a doc-src/antiquote_setup.ML
--- a/doc-src/antiquote_setup.ML	Mon Sep 15 16:43:31 2008 +0200
+++ b/doc-src/antiquote_setup.ML	Mon Sep 15 16:43:53 2008 +0200
@@ -143,7 +143,7 @@
       (ThyLoad.check_thy Path.current name; Pretty.str name))))];
 
 
-(* Isar entities (with index) *)
+(* Isabelle entities (with index) *)
 
 local