]> matita.cs.unibo.it Git - helm.git/commit
Added an option --enable-annot to the configure to compile with -dtypes
authorMatthias Puech <puech@cs.mcgill.ca>
Thu, 30 Apr 2009 13:28:13 +0000 (13:28 +0000)
committerMatthias Puech <puech@cs.mcgill.ca>
Thu, 30 Apr 2009 13:28:13 +0000 (13:28 +0000)
commit66ed4f33ff67b9fe0c28ce4a37eee4834e78e115
tree35be2d35d3064ff43c0b3957c4ebb0500a308c5c
parent018f85bcede6c969602d8764ed2327045d8bd551
Added an option --enable-annot to the configure to compile with -dtypes
helm/software/Makefile.defs.in
helm/software/components/Makefile.common
helm/software/configure.ac
helm/software/matita/Makefile