]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b26c434) | patch
added cmdline alias "command" for "tactica"
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 20 Jan 2005 10:24:44 +0000 (10:24 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 20 Jan 2005 10:24:44 +0000 (10:24 +0000)
commitb118abe6e411f5e9ac6f7adc17de602bdf4a0830
tree025d02729579e225230e2fdaa3e2ef30cd24ab15tree | snapshot
parentb26c4349ed1401d2ac9904deb47efbd4c454d98ecommit | diff
added cmdline alias "command" for "tactica"
helm/ocaml/cic_disambiguation/test_parser.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.