]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ab72cb4) | patch
moved mathql metas to mathql/
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 2 Feb 2006 10:16:04 +0000 (10:16 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 2 Feb 2006 10:16:04 +0000 (10:16 +0000)
commit0c8963a0f3aef05cf4866e8bcd3fdbebddac8b87
tree49aee3c45515e65327ca2f1902d52b1e21d06d9ctree | snapshot
parentab72cb44a09c93e1d540f7ac9bc7eae2f4d09f2fcommit | diff
moved mathql metas to mathql/
helm/mathql/METAS/meta.helm-mathql.src [new file with mode: 0644] blob
helm/mathql/METAS/meta.helm-mathql_generator.src [new file with mode: 0644] blob
helm/mathql/METAS/meta.helm-mathql_interpreter.src [new file with mode: 0644] blob
helm/ocaml/METAS/meta.helm-mathql.src [deleted file] blob | history
helm/ocaml/METAS/meta.helm-mathql_generator.src [deleted file] blob | history
helm/ocaml/METAS/meta.helm-mathql_interpreter.src [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.