]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9dac09f) | patch
opt compilation enabled, removed some pps, check has -alluris to regenerate
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 7 Apr 2008 12:16:04 +0000 (12:16 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 7 Apr 2008 12:16:04 +0000 (12:16 +0000)
commit080122687296a86b1a0c1e1ed67fb7a79bd84ec6
tree93cac241bfc1bee1be76bf693dc1da2b9fdda891tree | snapshot
parent9dac09ff867a3ec6298c85df95579b199da54d27commit | diff
opt compilation enabled, removed some pps, check has -alluris to regenerate
the uri list, alluri sorted such that the last fpart of the file fails (but not the former).
all nat/ compiles!
helm/software/components/ng_kernel/Makefile diff | blob | history
helm/software/components/ng_kernel/alluris.txt diff | blob | history
helm/software/components/ng_kernel/check.ml diff | blob | history
helm/software/components/ng_kernel/nCicTypeChecker.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.