diff options
| author | David Aspinall | 2000-05-05 14:50:51 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-05 14:50:51 +0000 |
| commit | bd9dcbe8a3b9062cea1c2f3d193df87c03185917 (patch) | |
| tree | 82cba31e81f50664e479d027f66092d82aa8cf24 | |
| parent | 2999d4d51e8a0e603d6adacab86d9250beaa887c (diff) | |
Renamed file
| -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 |