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.
added short_names, unique_names options;
authorwenzelm
Tue, 31 May 2005 11:53:33 +0200
changeset 16142 8eead5356ccb
parent 16141 1e2bed9c06f7
child 16143 ee6f7e6fc196
added short_names, unique_names options;
src/Pure/Isar/isar_output.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/isar_output.ML	Tue May 31 11:53:32 2005 +0200
+++ b/src/Pure/Isar/isar_output.ML	Tue May 31 11:53:33 2005 +0200
@@ -299,6 +299,8 @@
   ("show_structs", Library.setmp show_structs o boolean),
   ("show_question_marks", Library.setmp show_question_marks o boolean),
   ("long_names", Library.setmp NameSpace.long_names o boolean),
+  ("short_names", Library.setmp NameSpace.short_names o boolean),
+  ("unique_names", Library.setmp NameSpace.unique_names o boolean),
   ("eta_contract", Library.setmp Syntax.eta_contract o boolean),
   ("locale", Library.setmp locale),
   ("display", Library.setmp display o boolean),
isabelle