]> matita.cs.unibo.it Git - helm.git/history - helm/matita/library/Makefile
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
added Variant theorem flavour
[helm.git] / helm / matita / library / Makefile
2005-07-08 Claudio Sacerdoti... dead code removed blob | commitdiff | raw
2005-07-07 Claudio Sacerdoti... No more need for symbolic links: .matita, the configura... blob | commitdiff | raw | diff to current
2005-07-07 Claudio Sacerdoti... matitaclean now removes the .moo file, if existent. blob | commitdiff | raw | diff to current
2005-07-07 Claudio Sacerdoti... matita.ma.templ must be symbolically linked blob | commitdiff | raw | diff to current
2005-07-05 Claudio Sacerdoti... let's find the .ma files also in subdirectories blob | commitdiff | raw | diff to current
2005-07-05 Claudio Sacerdoti... re-added $(H) to matitaclean blob | commitdiff | raw | diff to current
2005-07-04 Claudio Sacerdoti... icons added to the list of required symbolic links blob | commitdiff | raw | diff to current
2005-07-04 Claudio Sacerdoti... make clean now prints what is being removed blob | commitdiff | raw | diff to current
2005-07-04 Enrico Tassimoo do not depend on .depend blob | commitdiff | raw | diff to current
2005-07-04 Claudio Sacerdoti... "include" command implemented. blob | commitdiff | raw | diff to current
2005-07-04 Enrico Tassimatitaclean now call getter.ls using a buri with a... blob | commitdiff | raw | diff to current
2005-07-02 Claudio Sacerdoti... cosmetic change: a space removed (to make tests/Makefil... blob | commitdiff | raw | diff to current
2005-07-01 Enrico Tassimore makefile work blob | commitdiff | raw | diff to current
2005-07-01 Claudio Sacerdoti... matitaclean is necessary! blob | commitdiff | raw | diff to current
2005-07-01 Claudio Sacerdoti... ... blob | commitdiff | raw | diff to current
2005-07-01 Claudio Sacerdoti... * makefile improved blob | commitdiff | raw | diff to current
2005-07-01 Claudio Sacerdoti... new targets: blob | commitdiff | raw | diff to current
2005-07-01 Claudio Sacerdoti... ... blob | commitdiff | raw | diff to current
2005-07-01 Claudio Sacerdoti... make all is now nicer blob | commitdiff | raw | diff to current
2005-07-01 Claudio Sacerdoti... Two targets now: blob | commitdiff | raw | diff to current
2005-07-01 Claudio Sacerdoti... make MATITAC="../scripts/do_tests.sh ../matitac /dev... blob | commitdiff | raw | diff to current
2005-07-01 Claudio Sacerdoti... Makefile improved blob | commitdiff | raw | diff to current
2005-07-01 Claudio Sacerdoti... The library of matita is borned! Long life to the libra... blob | commitdiff | raw | diff to current
Unnamed repository; edit this file 'description' to name the repository.