]> matita.cs.unibo.it Git - helm.git/commit
New implementation of the proof-checker daemon: there is now
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 30 Nov 2001 16:44:30 +0000 (16:44 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 30 Nov 2001 16:44:30 +0000 (16:44 +0000)
commit84e62facde0ee126b5f08dd376086acd861a9320
treeb687ebc828c25a36eca22e4b74ac78d9a5839672
parent865edc29497caf418f9cc60d982d2bfc6c02880e
New implementation of the proof-checker daemon: there is now
only one sequential (= non concurrent) proof-checker that process
one request at a time. The next big step will be to make it re-entrant.
helm/proofChecker/proofChecker.ml
helm/proofChecker/proofChecker.pl [new file with mode: 0755]