Re: [isabelle] PIDE Display of Assumptions
On Fri, 29 Jun 2012, Tobias Nipkow wrote:
Am 29/06/2012 17:27, schrieb Makarius:
See the isar-ref manual for all commands. The 'help' command also gives you a
complete list. These things were well-known before Proof General introduced
some menus for some commands > 10 years ago.
A similar decline in culture set in when assembly language arrived and
you no longer had to remember opcodes.
Where is the problem remembering the 'help' command, and looking things up
in the fine manual?
In the meantime some volunteers can clean up the find_theorems
implementation, and make a Scala/Swing wrapper form for its command line.
Some other volunteers can step forward and maintain Isabelle Proof General
4.x, until that has become fully obsolete, which is not the case right
now. At the moment it is unmaintained, so it will decay within 1-2 years.
This archive was generated by a fusion of
Pipermail (Mailman edition) and