diff options
| author | David Aspinall | 1998-11-03 16:29:13 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-03 16:29:13 +0000 |
| commit | b59d36bf1fceaa9e8529179b2eccc2996bffd24b (patch) | |
| tree | 33854d318634eb7fef9c5e7c3b2c284e3f0c10a5 /etc | |
| parent | f1cd3b791824c8ef9af58f38df637744afb033f5 (diff) | |
Fixed multiple file bug
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/isa/multiple/README | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/etc/isa/multiple/README b/etc/isa/multiple/README index 0ea75fcc..31b43da4 100644 --- a/etc/isa/multiple/README +++ b/etc/isa/multiple/README @@ -44,8 +44,8 @@ to ML files of autoloaded children. 1) visit example.ML, example.thy EFFECT: ML thy 2) assert .ML EFFECT: ML* thy* -3) retract thy EFFECT: ML thy (29.10.98 BREAKS!) - get ML* +3) retract thy EFFECT: ML thy + 1) visit example.ML, example.thy ML thy 2) assert thy ML thy* (29.10.98: works, but |