diff options
| -rw-r--r-- | isa/isabelle-system.el (renamed from isa/isa-system.el) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/isa/isa-system.el b/isa/isabelle-system.el index b9e1b303..b9e1b303 100644 --- a/isa/isa-system.el +++ b/isa/isabelle-system.el |