diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2012-09-07 19:47:10 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2012-09-07 19:47:10 +0000 |
| commit | 1e5fcb1a36df556dc7c0b8bac2b0b36a8e8d2743 (patch) | |
| tree | 22fc0625084bcaf5460322b5688c47967d365451 /generic/proof-tree.el | |
| parent | ba090c7e88c00df4d0db7e5c521bd30d4fb61ec4 (diff) | |
Fix of the last commit.
Diffstat (limited to 'generic/proof-tree.el')
0 files changed, 0 insertions, 0 deletions