]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 067c2f7) | 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)
commit58b71a4e818cd7c2f897dc35ea3d8bdc089c7bef
treedbe8ec3202c75f68b79742b8036a0965de436662tree | snapshot
parent067c2f773a1053cab1d6cd25a92e0bcc1763c305commit | 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
matita/matitaWiki.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.