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