]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5994528) | patch
librarian.ml: now the read_only .moo's are managed "correctly" (i.e. better than...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 30 Sep 2008 10:42:43 +0000 (10:42 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 30 Sep 2008 10:42:43 +0000 (10:42 +0000)
commit7a3c40d0d56ba3c20126f1d2c9f651adc95eaef7
tree7ebcc96374794b0de7c749b77507b3a7a3c97f7ftree | snapshot
parent59945285cda6b39178eeffedb32a37d3141fe844commit | diff
librarian.ml: now the read_only .moo's are managed "correctly" (i.e. better than before)
helm/software/components/library/librarian.ml diff | blob | history
helm/software/components/library/librarian.mli diff | blob | history
helm/software/matita/matitacLib.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.