diff options
author | 2006-04-26 22:31:52 +0000 | |
---|---|---|
committer | 2006-04-26 22:31:52 +0000 | |
commit | 8ba99b2013e0f62c9117fc79364630ff1fbec585 (patch) | |
tree | 1ecc9083150779a527fab764508ac9dab7d78096 /CHANGES | |
parent | fc774de804417a399094f61de1880e75b556c851 (diff) |
Changed the type of proof-goal-command-p. It takes now a span, which
allows using a span attribute to detect goal commands.
I think I modified all modes accordingly.
Diffstat (limited to 'CHANGES')
0 files changed, 0 insertions, 0 deletions