]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 63f211d) | patch
- quiet debugging for mathql
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 24 Jan 2004 12:29:26 +0000 (12:29 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 24 Jan 2004 12:29:26 +0000 (12:29 +0000)
commit8c1d14fa9110ec0d42b17d2279c0d0cfe7865a52
tree5e61e20b57dc257cae9b8597b023375311d18750tree | snapshot
parent63f211d673ba5a9eb05b0bdad2585e2b251f2baacommit | diff
- quiet debugging for mathql
- defined a debug_print function with a verbosity level
helm/gTopLevel/gTopLevel.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.