--- a/src/Pure/General/long_name.scala Fri Apr 01 11:51:42 2022 +0200
+++ b/src/Pure/General/long_name.scala Fri Apr 01 17:06:10 2022 +0200
@@ -7,8 +7,7 @@
package isabelle
-object Long_Name
-{
+object Long_Name {
val separator = "."
val separator_char = '.'