Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

activated syntactic checks for trimming macros

This commit is contained in:
Burkhart Wolff 2020-12-24 04:53:27 +01:00
parent 4c5aacb39f
commit 2f721d0f4b
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
examples/technical_report/TR_my_commented_isabelle/TR_MyCommentedIsabelle.thy
View File

@ -2307,8 +2307,8 @@ text\<open> This interactive Isabelle Programming Cook-Book represents my curren
\<close>
(*<*)
paragraph\<open>Many thanks to Frederic Tuong, who contributed some example such as the string cartouche
for Unicode Character Denotations as well as many local hints for improvements.\<close>
paragraph\<open>Many thanks to Frederic Tuong, who contributed some example such as the string
cartouche for Unicode Character Denotations as well as many local hints for improvements.\<close>
section*[bib::bibliography]\<open>Bibliography\<close>