X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita.install;fp=matita%2Fmatita.install;h=c2ead5284f41a9a9d5e4fc2253c3fcce1f6eac7e;hp=b1007b300c18a345f9d886e060257a6cafc6426b;hb=fe4d083e869a5194f6ef62457258dfc2acdd6288;hpb=bbf85ddcdfe0809fee0c6ca9812ce0da30c238af

diff --git a/matita/matita.install b/matita/matita.install
index b1007b300..c2ead5284 100644
--- a/matita/matita.install
+++ b/matita/matita.install
@@ -4,9 +4,13 @@ lib: [
   "_build/install/default/lib/matita/opam"
 ]
 bin: [
+  "_build/install/default/bin/matex"
   "_build/install/default/bin/matita"
   "_build/install/default/bin/matitac"
   "_build/install/default/bin/matitaclean"
+  "_build/install/default/bin/matitadep"
+  "_build/install/default/bin/probe"
+  "_build/install/default/bin/xoa"
 ]
 share_root: [
   "_build/install/default/share/matita/myshare/AUTHORS" {"matita/myshare/AUTHORS"}