TWiki
>
PG Web
>
PGIP
>
PGML
(05 Sep 2006,
DavidAspinall
)
(raw view)
E
dit
A
ttach
---+!! !PGML, the Proof General Markup Language !PGML is a simple markup language which was designed for Proof General to contain elements for describing mathematical symbols (glyphs) as they appear in the conrete syntax output of proof assistants. The symbol names were chosen to match the [[http://x-symbol.sourceforge.net/][X-Symbol]] names which are used by ProofGeneralEmacs. These in turn are named after !TeX and !LaTeX macros for generating symbols. See AboutSymbols for other mechanisms. %P% TODO: * describe PGML markup * add list of symbol names * tools for converting * relationship to !MathML
E
dit
|
A
ttach
|
P
rint version
|
H
istory
: r2
<
r1
|
B
acklinks
|
V
iew topic
|
Ra
w
edit
|
M
ore topic actions
Topic revision: r2 - 05 Sep 2006 - 14:27:06 -
DavidAspinall
PG
PG Web
PG Web Home
Changes
Index
Search
Notifications
RSS Feed
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki?
Send feedback
This Wiki uses
Cookies