Add files via upload

theoremprover-museum · Apr 21, 2018 · 2d11453 · 2d11453
1 parent 341a228
commit 2d11453
Show file tree

Hide file tree

Showing 11 changed files with 2,178 additions and 1,801 deletions.
diff --git a/manual-en.pdf b/manual-en.pdf
diff --git a/manuel-fr.pdf b/manuel-fr.pdf
diff --git a/musca-en b/musca-en
@@ -1,2 +1,2 @@
-swipl -f muscadet-en
+/usr/bin/swipl -f muscadet-en
 
diff --git a/musca-fr b/musca-fr
@@ -1,2 +1,2 @@
-swipl -f muscadet-fr
+/usr/bin/swipl -f muscadet-fr