]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a7e986f) | patch
advances on exportation to prolog
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 25 Jun 2015 19:00:51 +0000 (19:00 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 25 Jun 2015 19:00:51 +0000 (19:00 +0000)
commit98fef490e55d1d780e8c0bb19de0218e08ae73b1
tree0b7be18370433c9f0691f17018971cd38ede8109tree | snapshot
parenta7e986f3c381186e58aa1c6a65f03ee721deb9b1commit | diff
advances on exportation to prolog
12 files changed:
helm/software/helena/.depend.opt diff | blob | history
helm/software/helena/Makefile diff | blob | history
helm/software/helena/elpi/elpi.template [deleted file] blob | history
helm/software/helena/lp/lp.template [new file with mode: 0644] blob
helm/software/helena/src/basic_rg/Make diff | blob | history
helm/software/helena/src/basic_rg/brgELPI.ml [deleted file] blob | history
helm/software/helena/src/basic_rg/brgELPI.mli [deleted file] blob | history
helm/software/helena/src/basic_rg/brgLP.ml [new file with mode: 0644] blob
helm/software/helena/src/basic_rg/brgLP.mli [new file with mode: 0644] blob
helm/software/helena/src/common/options.ml diff | blob | history
helm/software/helena/src/modules.ml diff | blob | history
helm/software/helena/src/toplevel/top.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.