diff -r ae516c20c5f1 -r 4dac76eb27d9 Prover/Doc/G4ip.Parser.html
--- a/Prover/Doc/G4ip.Parser.html	Sat Jan 28 06:40:19 2017 +0000
+++ b/Prover/Doc/G4ip.Parser.html	Sat Jan 28 07:17:00 2017 +0000
@@ -130,4 +130,4 @@
 <img src="p-images/red-ball.gif" alt="O "> <a name="parseFormulae"></a><a name="parseFormulae()"></a><b>parseFormulae</b><br>
 <pre>
 public <a href="G4ip.Context.html">Context</a> parseFormulae()
-  throws <a href="http://java.sun.com:80/products/
\ No newline at end of file
+  throws <a href="http://java.sun.com:80/products/