Changes between Version 1 and Version 2 of Ticket #115


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

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #115 – Description

    v1 v2  
    22
    33We have a tested and (hopefully) stable version of the search form now, that I
    4 think is ready to be integrated with the CVS version of ProofGeneral.
     4think is ready to be integrated with the CVS version of !ProofGeneral.
    55
    66I don't have write access to the CVS repository, so I'm sending the files to
    77you instead.  The attached archive contains two files:
    8 ProofGeneral/isar/isar.el and ProofGeneral/isar/find-theorems.el.  The latter
     8!ProofGeneral/isar/isar.el and !ProofGeneral/isar/find-theorems.el.  The latter
    99is new, while only a few lines of the former have been modified to integrate
    1010the search form.