]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b183713) | patch
new file for auto
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 5 Oct 2009 14:36:13 +0000 (14:36 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 5 Oct 2009 14:36:13 +0000 (14:36 +0000)
commit5aeba24517d4811e3dc08de5728a5ad8d47d41a7
treeeae4d058af9ff2d14f486c4c9b65292901b9f045tree | snapshot
parentb183713e0e33245a4e58b433a930a94224d1f629commit | diff
new file for auto
helm/software/components/ng_tactics/.depend diff | blob | history
helm/software/components/ng_tactics/.depend.opt diff | blob | history
helm/software/components/ng_tactics/Makefile diff | blob | history
helm/software/components/ng_tactics/nAuto.ml [new file with mode: 0644] blob
helm/software/components/ng_tactics/nAuto.mli [new file with mode: 0644] blob
helm/software/components/ng_tactics/nTactics.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.