src/Doc/System/Misc.thy
changeset 67399 eab6ce8368fa
parent 66785 6fbd7fc824a9
child 68219 c0341c0080e2
--- a/src/Doc/System/Misc.thy	Wed Jan 10 15:21:49 2018 +0100
+++ b/src/Doc/System/Misc.thy	Wed Jan 10 15:25:09 2018 +0100
@@ -226,4 +226,4 @@
   id of the @{setting ISABELLE_HOME} directory.
 \<close>
 
-end
\ No newline at end of file
+end