Re: [isabelle] Isabelle's jEdit plugin: some known help documents?
Oops, missed it. For that particular point, go to
Plugins->Isabelle->Prover Session, then select the ReadMe tab. It's in the
middle of the ReadMe tab.
Le Tue, 31 Jul 2012 17:25:31 +0200, Yannick Duchêne (Hibou57)
<yannick_duchene at yahoo.fr> a écrit:
Some documents could be an exhaustive list of the abbreviations which
pops up the character list box (Isabelle plugin's abbreviations, not
jEdit own abbreviations system). I have issue with the input of some
characters. That's also an opportunity to note there are some issues
with the characters used in some of the PDF documenting Isabelle, …some
“Syntactic sugar causes cancer of the semi-colons.” 
“Structured Programming supports the law of the excluded muddle.” 
: Epigrams on Programming — Alan J. — P. Yale University
This archive was generated by a fusion of
Pipermail (Mailman edition) and