]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 802383e) | patch
Added debug print in NCicLibrary.serialize.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 12 Sep 2011 13:00:54 +0000 (13:00 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 12 Sep 2011 13:00:54 +0000 (13:00 +0000)
commit63397acf074c9fe79704b881f9e5ff5582883465
treeb176dd4110f0015a7632f88824f765662547dabdtree | snapshot
parent802383ec61e0466b5cc75a1347eddc4c438e352dcommit | diff
Added debug print in NCicLibrary.serialize.
matitaB/components/ng_library/nCicLibrary.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.