Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarifying comment
authorhaftmann
Tue, 06 Nov 2007 13:12:56 +0100
changeset 25313 98a145c9a22f
parent 25312 eb9067371342
child 25314 5eaf3e8b50a4
clarifying comment
src/Tools/code/code_name.ML file | annotate | diff | comparison | revisions 
--- a/src/Tools/code/code_name.ML	Tue Nov 06 13:12:55 2007 +0100
+++ b/src/Tools/code/code_name.ML	Tue Nov 06 13:12:56 2007 +0100
@@ -4,7 +4,8 @@
 
 Naming policies for code generation: prefixing any name by corresponding
 theory name, conversion to alphanumeric representation.
-Mappings are incrementally cached.
+Mappings are incrementally cached.  Assumes non-concurrent processing
+inside a single theory.
 *)
 
 signature CODE_NAME =
isabelle