diff options
| author | Thomas Kleymann | 1998-09-01 15:38:49 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-09-01 15:38:49 +0000 |
| commit | c4e8a886156a550dc74993215883137ee272b4fd (patch) | |
| tree | 0d78fe158874200a99d46346fc3a090a1eee47d4 /isa | |
| parent | 1690e837fb5dc3a356d6fd54ca75c367a43ec9e9 (diff) | |
integrated comments following 1 Sep 98 discussion with Dave Aspinall
on design principles in light of an Emacs mode for Isabelle
Diffstat (limited to 'isa')
0 files changed, 0 insertions, 0 deletions