diff options
| author | Pierre Courtieu | 2010-09-09 16:58:33 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2010-09-09 16:58:33 +0000 |
| commit | 6dabc28114f0ee2ba03b79c4bdd313154cab8d30 (patch) | |
| tree | c2a4eeb307f2756517acc7bc3678f640f8bad09d /pgshell | |
| parent | 062204d996652b87ee1398c630937eda69b929c0 (diff) | |
Fixed the cleaning of goals buffer when proof completed
+ fixed the refreshing of modeline goal number display.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions