]> matita.cs.unibo.it Git - helm.git/commit - helm/hbugs/tutors/hbugs_tutor.TPL.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4bd8dc3) | patch
first tutors implementation, contains:
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 19 Feb 2003 14:23:02 +0000 (14:23 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 19 Feb 2003 14:23:02 +0000 (14:23 +0000)
commited90e027472d0250d45ae7200600c8804dd476f1
treeba6ef9e60b0820e9de61b615f9a3cc80bbf36580tree | snapshot
parent4bd8dc3b065591f96514d9eee03496582e6a703fcommit | diff
first tutors implementation, contains:
- XML representation of available tutors
- scripts to list and start/stop available tutors
- script to generate simple tutors that simply use a tactic
- search_pattern_apply tutor
helm/hbugs/tutors/.cvsignore [new file with mode: 0644] blob
helm/hbugs/tutors/INDEX.xml [new file with mode: 0644] blob
helm/hbugs/tutors/Makefile [new file with mode: 0644] blob
helm/hbugs/tutors/build_tutors.ml [new file with mode: 0755] blob
helm/hbugs/tutors/hbugs_tutor.TPL.ml [new file with mode: 0644] blob
helm/hbugs/tutors/hbugs_tutors_common.ml [new file with mode: 0644] blob
helm/hbugs/tutors/hbugs_tutors_common.mli [new file with mode: 0644] blob
helm/hbugs/tutors/ls_tutors.ml [new file with mode: 0755] blob
helm/hbugs/tutors/sabba.sh [new file with mode: 0755] blob
helm/hbugs/tutors/search_pattern_apply_tutor.ml [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.