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.
fixed comment
authorhaftmann
Sat, 19 May 2007 11:33:34 +0200
changeset 23028 d8c4a02e992a
parent 23027 2ca265156256
child 23029 79ee75dc1e59
fixed comment
src/Pure/Tools/codegen_thingol.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/codegen_thingol.ML	Sat May 19 11:33:33 2007 +0200
+++ b/src/Pure/Tools/codegen_thingol.ML	Sat May 19 11:33:34 2007 +0200
@@ -2,7 +2,7 @@
     ID:         $Id$
     Author:     Florian Haftmann, TU Muenchen
 
-Intermediate language ("Thin-gol") representing extracted code.
+Intermediate language ("Thin-gol") representing executable code.
 *)
 
 infix 8 `%%;
isabelle