[ tstp ] fixed the Metis version in latex.

jonaprieto · Sep 6, 2017 · 8baeb53 · 8baeb53
1 parent 882dae5
commit 8baeb53
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 2 deletions.
diff --git a/problems/prop-metis/README.md b/problems/prop-metis/README.md
@@ -0,0 +1,4 @@
+This set of problems is based on a list of problems from
+the Metis Prover repository.
+
+- [Metis' Problems](https://raw.githubusercontent.com/gilith/metis/f0b1a17cd57eb098077e963ab092477aee9fb340/src/problems.sml)
diff --git a/tstp.tex b/tstp.tex
@@ -99,7 +99,8 @@
 \tableofcontents
 
 \section{TSTP Proofs}
-Metis Prover (2.3 - release 20170315) found these solutions.
+Metis Prover (2.3 - release 20170810) generated these solutions.
+
 \subsection{Basic}
 \solutiontstp[basic-01.tptp]{problems/basic/basic-01.tstp}
 \solutiontstp[basic-02.tptp]{problems/basic/basic-02.tstp}
@@ -207,7 +208,7 @@ \subsection{Negation}
 \subsection{Additional Propositional Problems}
 The following problems were extracted from a list of problems in
 the repository of source code of Metis
-\footnote{\url{https://github.com/gilith/metis/blob/f0b1a17cd57eb098077e963ab092477aee9fb340/src/problems.sml}}.
+\footnote{\url{https://raw.githubusercontent.com/gilith/metis/f0b1a17cd57eb098077e963ab092477aee9fb340/src/problems.sml}}.
 
 \solutiontstp[prop-01.tstp]{problems/prop-metis/prop-01.tstp}
 \solutiontstp[prop-02.tstp]{problems/prop-metis/prop-02.tstp}