diff options
| author | Makarius Wenzel | 1999-10-26 20:47:38 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-10-26 20:47:38 +0000 |
| commit | fe16e0b6c070fbb534ca1adb0bbab72d240d4a7a (patch) | |
| tree | 0b5f48d3d9ff3ce0ca37f463dcdcef2aac35281b /html | |
| parent | 99caa19c91e102a97bd97e33fb3e81439671d1db (diff) | |
ProofGeneral.inform_file_processed/retracted;
improved proof-shell-compute-new-files-list (more robust);
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions