]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b488a9d) | patch
* added daemon
authorLuca Padovani <luca.padovani@unito.it>
Fri, 17 Oct 2003 14:01:18 +0000 (14:01 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Fri, 17 Oct 2003 14:01:18 +0000 (14:01 +0000)
commite325d6831ba5bbad0c8892072ffdedf50aa10b39
treec531dd7d332735a349a44f89c2c6156927dd5ed0tree | snapshot
parentb488a9d40c305bced383a8ac2b38ea960d50041fcommit | diff
* added daemon
* fixed minor bugs
helm/DEVEL/rdfly/Makefile diff | blob | history
helm/DEVEL/rdfly/query.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.