]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 66d6744) | patch
toplevel.ml patched but it doesn't compile with open and free variables.
authornatile <??>
Fri, 22 Nov 2002 18:39:19 +0000 (18:39 +0000)
committernatile <??>
Fri, 22 Nov 2002 18:39:19 +0000 (18:39 +0000)
commit226aef203391e48b13bc9142d57cca5d4e25ef53
treed01869d23fe33d2ce95ae2abe132af5f18b0df7ftree | snapshot
parent66d6744962bd5a49dc87270eccadaad76b229133commit | diff
toplevel.ml patched but it doesn't compile with open and free variables.
helm/gTopLevel/topLevel/topLevel.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.