]> matita.cs.unibo.it Git - helm.git/commit
Added an hook useful in many situations.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 2 Nov 2007 16:02:52 +0000 (16:02 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 2 Nov 2007 16:02:52 +0000 (16:02 +0000)
commitc0b5e245b0081eee3262874c0e89d20e4f388cf6
tree5485669c52a9bdf708d619d139067b1ee8bf79a3
parent2f857ddcadb88445744b1490cb510023b7192930
Added an hook useful in many situations.
helm/software/components/library/librarySync.ml
helm/software/components/library/librarySync.mli