]> matita.cs.unibo.it Git - helm.git/commit
Some changes:
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 26 Jan 2007 13:04:44 +0000 (13:04 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 26 Jan 2007 13:04:44 +0000 (13:04 +0000)
commitc113a2d7c7a2963d98bb5ce75d53cd7a4f482d6b
treedaeb2d4b17d0067a159abe1076fdc689711121e8
parent14d904af0e82bc75cfb8c66e41cdcd9c1d112a8e
Some changes:
1. error messages are now in HTML (they used to be in plain text + vt100 colour
   scheme)
2. commands are now expected to be in a fragment of the pgip protocol.
   Supported commands are:
    <pgip><doitem>...</doitem></pgip>
    <pgip><undoitem>...</undoitem></pgip>
3. the terminator sent back is now preceded by either -1 (command not
   successful) or n (an integer to be sent for undoing)
4. undoing is now supported
helm/software/matita/matitaWiki.ml