]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d34d710) | patch
Fixed a bug which prevented mutually recursive definitions of 3 or more
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 2 Jul 2008 15:12:24 +0000 (15:12 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 2 Jul 2008 15:12:24 +0000 (15:12 +0000)
commit79fdc0d44a2c8a3b1d2649b25fd7181c2ef49209
treea28824737411e7d1a438db08356707f2b0b698c7tree | snapshot
parentd34d7101ba59a19fa030fe9a5c6b3d563efc8f3dcommit | diff
Fixed a bug which prevented mutually recursive definitions of 3 or more
functions from being added to the library
helm/software/components/library/librarySync.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.