]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b16f00b) | patch
added MATITA_FLAGS support
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 5 Oct 2005 09:04:13 +0000 (09:04 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 5 Oct 2005 09:04:13 +0000 (09:04 +0000)
commite86b560394d1b89daf685c9f9b6b2c5ed8144393
treee95694b05c9bfe77b65332cf2573ad895c68bf85tree | snapshot
parentb16f00b453ffb484e9e6b02b00917ab7920b1a38commit | diff
added MATITA_FLAGS support
helm/matita/library/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.