diff options
| author | Thomas Kleymann | 1998-09-17 14:41:54 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-09-17 14:41:54 +0000 |
| commit | ebefee20aac777f893ecd613f7a5a449745b936a (patch) | |
| tree | 921bf99ccf84ef23c9cfc67308580094d806e4ac /etc/ProofGeneral.patch | |
| parent | d9e8665038985340f1eccd6311c870cb8afb17dc (diff) | |
Wrote specification for handling multiple file development in section Internals
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions