]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 076f639) | patch
added MATITAOPTIONS -onepass as for LAMBDA-TYPES
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 26 Feb 2008 17:20:47 +0000 (17:20 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 26 Feb 2008 17:20:47 +0000 (17:20 +0000)
commitd933d601661140b5a555cd962e3c5224047683f4
tree882b9356ad4e5e2faadb91d2b7dc08cf313c34adtree | snapshot
parent076f639446efce8d8cf83dcf7ca40b4376fc8c36commit | diff
added MATITAOPTIONS -onepass as for LAMBDA-TYPES
helm/software/matita/legacy/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.