equal
deleted
inserted
replaced
141 for (file <- files if file.isFile) logics += file.getName |
141 for (file <- files if file.isFile) logics += file.getName |
142 } |
142 } |
143 } |
143 } |
144 logics.toList.sort(_ < _) |
144 logics.toList.sort(_ < _) |
145 } |
145 } |
|
146 |
|
147 |
|
148 /* symbols */ |
|
149 |
|
150 private def read_symbols(path: String) = { |
|
151 val file = new File(platform_path(path)) |
|
152 if (file.canRead) Source.fromFile(file).getLines |
|
153 else Iterator.empty |
|
154 } |
|
155 val symbols = new Symbol.Interpretation( |
|
156 read_symbols("$ISABELLE_HOME/etc/symbols") ++ |
|
157 read_symbols("$ISABELLE_HOME_USER/etc/symbols")) |
146 } |
158 } |