equal
deleted
inserted
replaced
255 |
255 |
256 (* Isabelle/Isar system *) |
256 (* Isabelle/Isar system *) |
257 |
257 |
258 use "System/session.ML"; |
258 use "System/session.ML"; |
259 use "System/isabelle_process.ML"; |
259 use "System/isabelle_process.ML"; |
260 use "System/isar_document.ML"; |
260 use "PIDE/isar_document.ML"; |
261 use "System/isar.ML"; |
261 use "System/isar.ML"; |
262 |
262 |
263 |
263 |
264 (* miscellaneous tools and packages for Pure Isabelle *) |
264 (* miscellaneous tools and packages for Pure Isabelle *) |
265 |
265 |