]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4bb57c0) | patch
uses auto_tac_new instead of auto_tac
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 16 Jun 2005 15:11:32 +0000 (15:11 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 16 Jun 2005 15:11:32 +0000 (15:11 +0000)
commit9d92e1df3dd394def0d8bcb86b04f524e27f98ff
treed16f4d1ef5bc5319e081519ba844535d12431c62tree | snapshot
parent4bb57c04fbf22c267ccd416a8ba79f6d13c22302commit | diff
uses auto_tac_new instead of auto_tac
helm/matita/matitaEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.