]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 14d904a) | patch
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
treedaeb2d4b17d0067a159abe1076fdc689711121e8tree | snapshot
parent14d904af0e82bc75cfb8c66e41cdcd9c1d112a8ecommit | diff
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 diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.