diff options
| author | Thomas Kleymann | 1999-01-23 16:42:12 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1999-01-23 16:42:12 +0000 |
| commit | 8cabd2c3c7c5f41d5d7e2e6042217353960f6394 (patch) | |
| tree | e18e205fbc21131b55c28bbd5172ce8813aa7f2d /generic/proof-script.el | |
| parent | 1311c160dbaa8f5f7f76e99656cf835d0947254c (diff) | |
. Clarified LEGO specific TODO
. Updated situation on License issue
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions