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.
tuned;
authorwenzelm
Tue, 26 Jun 2018 11:10:47 +0200
changeset 68503 8d9239158d7a
parent 68497 f483fe1813f0
child 68504 3524d60b8f15
tuned;
src/Doc/Isar_Ref/Inner_Syntax.thy file | annotate | diff | comparison | revisions 
--- a/src/Doc/Isar_Ref/Inner_Syntax.thy	Tue Jun 26 10:49:37 2018 +0200
+++ b/src/Doc/Isar_Ref/Inner_Syntax.thy	Tue Jun 26 11:10:47 2018 +0200
@@ -391,7 +391,7 @@
     atom: @{syntax short_ident} | @{syntax int} | @{syntax float} | @{syntax cartouche}
   \<close>}
 
-  Each @{syntax entry} is a name-value pair: if the value is omitted, if
+  Each @{syntax entry} is a name-value pair: if the value is omitted, it
   defaults to \<^verbatim>\<open>true\<close> (intended for Boolean properties). The following
   standard block properties are supported:
isabelle