]> matita.cs.unibo.it Git - helm.git/commitdiff
new executables (ported by Ferruccio Guidi)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 4 Feb 2023 13:52:22 +0000 (14:52 +0100)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 4 Feb 2023 13:52:22 +0000 (14:52 +0100)
matita/matita.install

index b1007b300c18a345f9d886e060257a6cafc6426b..c2ead5284f41a9a9d5e4fc2253c3fcce1f6eac7e 100644 (file)
@@ -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"}