diff options
| author | David Aspinall | 1998-12-18 15:07:55 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-18 15:07:55 +0000 |
| commit | 23f70bdfb7039db97f92484bbfcd00c9e6d98422 (patch) | |
| tree | 9a8cf446a64cab62abbfd1fa2a7042217b3f69ed /generic | |
| parent | 4a2663fad7bea63d2a30c32770433d1afb87c54d (diff) | |
Elaborated on scripting language limitations Isabelle "bug"
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions