Changes between Initial Version and Version 1 of Ticket #115


Ignore:
Timestamp:
May 11, 2007, 12:05:09 AM (17 years ago)
Author:
David Aspinall
Comment:

Status: I have added this to CVS head, but it doesn't work on XEmacs 21.5: 

Invalid argument: No such face, :height

Seems to work OK on GNU Emacs 21.4.1, although lots of beeps on field validation (Emacs effect?).

Useful improvement would be to highlight the theorem names in the output so they can be automatically inserted back into the proof script, or even generate proof commands. Code to do this is already available.

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #115

    • Property Status changed from new to assigned

  • Ticket #115 – Description

    initial v1  
    1 Contributio from Tjark Weber:
     1Contribution from Tjark Weber:
    22
    33We have a tested and (hopefully) stable version of the search form now, that I