]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 865edc2) | patch
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
treeb687ebc828c25a36eca22e4b74ac78d9a5839672tree | snapshot
parent865edc29497caf418f9cc60d982d2bfc6c02880ecommit | diff
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 diff | blob | history
helm/proofChecker/proofChecker.pl [new file with mode: 0755] blob
Unnamed repository; edit this file 'description' to name the repository.