diff options
| author |  stobies <unknown> | 2010-02-08 12:11:22 +0000 |
|---|---|---|
| committer | stobies <unknown> | 2010-02-08 12:11:22 +0000 |
| commit | 37ca3c95e460a37d8b579f2e11004bae7b22fc49 (patch) | |
| tree | 500f84ffaf469399027e99166570964dbfbc8aab /Source/version.ssc | |
| parent | a4765e1bd6f66b4571760f60883270df02025882 (diff) | |
Preparing Isabelle plugin sources for VCC release.
Diffstat (limited to 'Source/version.ssc')
0 files changed, 0 insertions, 0 deletions