diff options
| author |  proofgen <> | 1998-10-28 11:15:21 +0000 |
|---|---|---|
| committer | proofgen <> | 1998-10-28 11:15:21 +0000 |
| commit | 4aa5ea2110b356cbcb36a338f32b9c2fe468663e (patch) | |
| tree | c1414e2d7e5cd919a1df46206b9df7b4bc15d8d7 /isa/ProofGeneral.ML | |
| parent | 78ade4c020a6d20f48fdad7d3ae0731c9c359c69 (diff) | |
Set version tag for new release.
Diffstat (limited to 'isa/ProofGeneral.ML')
0 files changed, 0 insertions, 0 deletions