]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: becc738) | patch
matitacLib: Gc.compact added after the compilation of mmas
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 11 Mar 2009 18:39:42 +0000 (18:39 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 11 Mar 2009 18:39:42 +0000 (18:39 +0000)
commita916c8ef60843bf14f92c0af3b01e77b5c466f44
treec1f37f0a5b986846ca4f688e9d77b74cab8207b8tree | snapshot
parentbecc738132009807d8e056734cf78ace63213592commit | diff
matitacLib: Gc.compact added after the compilation of mmas
            Now LAMBDA-TYPES compiles in ~ 100m
Makefile: daily test of LAMBDA-TYPES re-enabled
helm/software/matita/Makefile diff | blob | history
helm/software/matita/matitacLib.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.