diff options
| author | David Aspinall | 2004-04-17 20:23:57 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-17 20:23:57 +0000 |
| commit | 348f969447d79dad43641ac93027b8565784f7e7 (patch) | |
| tree | 1973cbca36912838f4b7ec06d52a44ca00627136 /pgshell/example.pgsh | |
| parent | e40a27a293f2c2dd28b3675ee82cc67d3ad3e182 (diff) | |
Numerous updates and improvements:
- Walkthrough changed from LEGO to Isabelle/Isar
- Documentation of new shortcuts in Isar
- Documentation of Isabelle's Settings/Logics choice
- Documentation of PG Shell
- Date updates, version updates
- Personnel updates
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions