]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 48cf38f) | patch
librarian: improved error detection, bug fix in time comparison functions: now the...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 18 Sep 2008 14:36:52 +0000 (14:36 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 18 Sep 2008 14:36:52 +0000 (14:36 +0000)
commit2b53a3735b2a6130726e0a0451993cd679fd5935
treed9d3112142ba8ab5ae60a181b23680cc0cf46136tree | snapshot
parent48cf38fbbfcb60e6b64e5157801bc421677e71becommit | diff
librarian: improved error detection, bug fix in time comparison functions: now the object files are considered in the correct compilation order even if they mtime is the same :)
Procedural: improved error detection
helm/software/components/acic_procedural/acic2Procedural.ml diff | blob | history
helm/software/components/acic_procedural/acic2Procedural.mli diff | blob | history
helm/software/components/acic_procedural/proceduralHelpers.ml diff | blob | history
helm/software/components/acic_procedural/proceduralHelpers.mli diff | blob | history
helm/software/components/acic_procedural/proceduralOptimizer.ml diff | blob | history
helm/software/components/library/librarian.ml diff | blob | history
helm/software/components/library/librarian.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.