diff options
| author | Pierre Courtieu | 1999-12-14 13:22:46 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 1999-12-14 13:22:46 +0000 |
| commit | fd98212b3e1f3b84f62df5bd4092d887e8ea91ed (patch) | |
| tree | 9c0d0663ca417927f1926231b2fc6ce66c44eda1 /html | |
| parent | 1a30eb2b2d5254863ec216ff1e62072d2e130ad0 (diff) | |
Pierre: Added little a chapter to the documentation: Using File
Variable, just after Isabelle ProofGeneral. Surely not the good place,
should be in some section called "tricks".
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions