diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 1999-10-20 13:55:42 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 1999-10-20 13:55:42 +0000 |
| commit | 184faa177451c95b89433ebe7eb0929cfff4e97c (patch) | |
| tree | b1914a068ffddf32f4df120280d02e6645858a84 /CHANGES | |
| parent | 1952267fc00a1c91b25d79a541be7b65a199dfce (diff) | |
theory loader actions now that of PG/isa;
Diffstat (limited to 'CHANGES')
0 files changed, 0 insertions, 0 deletions