Improve symbols: fill out default table, add ascii-symbol completion

[David Aspinall <da+pgtrac@…>]

• The default symbol table should have a more complete set of Unicode/Isabelle? symbols
• Completion on ASCII-names for symbols with display of unicode would be an excellent addition

[David Aspinall]

Both of these added now.

New Isabelle symbol table is: config/symbols/Isabelle.sym

Useful resources:

• Markus Kuhn's UTF8 file of !TeX symbols: ​http://www.cl.cam.ac.uk/~mgk25/ucs/examples/TeX.txt
• List of Unicode chars (generated in PG Emacs): config/symbols/utf-unicode-list.txt
• Comprehensive LaTeX symbol list (which was used to inform some choices for Unicode pages): ​http://www.ctan.org/tex-archive/info/symbols/comprehensive/symbols-a4.pdf
• Isabelle symbol names are mainly like TeX names but some symbols were given alternative names. See isar/x-symbol-isabelle.el in PG Emacs for Emacs configuration, and lib/texinputs/isabellesym.sty for symbols used by Isabelle's document preparation system.

[David Aspinall]

Milestone PG-Eclipse-1.0.6 deleted