]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 785d5b4) | patch
****
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 15 May 2001 13:11:10 +0000 (13:11 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 15 May 2001 13:11:10 +0000 (13:11 +0000)
commit5a882114fa1f2cf18f9a1ddcb83552bc29c42d95
tree8eb10e1f84899fafc5a96183ac2e39915bba3822tree | snapshot
parent785d5b45cb6dc7d70b4f3b05c7debc97d3453c09commit | diff
****
WARNING: unstable commit
****

 We are just in the middle of the splitting of mmlinterface into

  * annotationHelper
  * controlInterface
  * proof-checker

 All the executables but mmlinterface are now compiling and
 working (but the proof-checker that is still V6-bound).
helm/interface/getter.ml diff | blob | history
helm/interface/xsltProcessor.ml diff | blob | history
helm/interface/xsltProcessorHTTP.ml [deleted file] blob | history
helm/interface/xsltProcessorUDP.ml [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.