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> 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 seems wrong.

“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.