Corrected broken links on help pages.

org.lamport.tla.toolbox.doc/html/prover/prover.html

@@ -54,8 +54,8 @@ describes how to run it from the Toolbox. 
 But before you can run TLAPS, you must install it on your computer. 
 
 Instructions for doing this, as well as an explanation of how to use
-TLAPS, is on 
-<A href="http://msr-inria.inria.fr/~doligez/tlaps/" target="_blank">the TLAPS
+TLAPS,  on 
+<A href="https://tla.msr-inria.inria.fr/tlaps/content/Home.html" target="_blank">the TLAPS
 web page</A>.&nbsp; 
 
 As described on that page, if you are using Windows, you will also have

org.lamport.tla.toolbox.doc/html/prover/runningTlaps.html

@@ -393,11 +393,12 @@ This option tells the PM what SMT solver to use. 
 
 See the  
 <a href=
-  "http://msr-inria.inria.fr/~doligez/tlaps/advanced-tutorial.html#backends"
- target="_blank">Using different backends</a>
-section of the advanced 
-<a href="http://msr-inria.inria.fr/~doligez/tlaps/"
-   target="_blank">TLAPS documentation</a>.&nbsp;
+  "https://tla.msr-inria.inria.fr/tlaps/content/Documentation/Tutorial/Tactics.html#solvers"
+ target="_blank">SMT solvers</a>
+section of the 
+<a href=
+  "https://tla.msr-inria.inria.fr/tlaps/content/Documentation/Tutorial/Tactics.html"
+ target="_blank">Tactics page</a>.&nbsp;
 
 (This field specifies the argument of the PM's <code>--solver</code>
 option.)