update ANTLR URLs (antlr.org -> antlr3.org)

diff --git a/COPYING b/COPYING
index 648b42a02095e8e3e79017077366551266557e00..5016b3fbd82848de7921c9508add7d22a7d24e1d 100644 (file)
--- a/COPYING
+++ b/COPYING
@@ -199,7 +199,7 @@ http://www.boost.org/LICENSE_1_0.txt and reprinted below:
   DEALINGS IN THE SOFTWARE.
 
 CVC4 incorporates code from ANTLR3, excluded from the above copyright.
-See http://www.antlr.org/, and the files src/parser/bounded_token_buffer.h,
+See http://www.antlr3.org/, and the files src/parser/bounded_token_buffer.h,
 src/parser/bounded_token_buffer.cpp, and src/parser/antlr_input_imports.cpp.
 Their copyright:
 

diff --git a/config/antlr.m4 b/config/antlr.m4
index 15b819244198f58caf5634f014f289d168c2c00b..955e1bb2a7f940e14cefdef8821697ba93cb3c90 100644 (file)
--- a/config/antlr.m4
+++ b/config/antlr.m4
@@ -23,7 +23,7 @@ AC_DEFUN([AC_PROG_ANTLR], [
   if test "x$ANTLR" = "x"; then
     AC_MSG_WARN(
 [No usable antlr3 script found. Make sure that the parser code has
-been generated already. To obtain ANTLR see <http://www.antlr.org/>.]
+been generated already. To obtain ANTLR see <http://www.antlr3.org/>.]
     )
     ANTLR_VERSION=
   else
@@ -84,7 +84,7 @@ AC_DEFUN([AC_LIB_ANTLR],[
       ],
           [
             AC_MSG_RESULT(no)
-            AC_MSG_ERROR([ANTLR3 C runtime not found, see <http://www.antlr.org/>])
+            AC_MSG_ERROR([ANTLR3 C runtime not found, see <http://www.antlr3.org/>])
           ]
     )
   done

diff --git a/contrib/get-antlr-3.4 b/contrib/get-antlr-3.4
index 8228c2ace6f714533ec1f3c55814ff3a24c58e06..7928690faf3bd1acbe4d5e3d9678499c379e4f32 100755 (executable)
--- a/contrib/get-antlr-3.4
+++ b/contrib/get-antlr-3.4
@@ -34,8 +34,8 @@ mkdir -p antlr-3.4/share/java
 mkdir -p antlr-3.4/bin
 mkdir -p antlr-3.4/src
 cd antlr-3.4
-webget http://antlr.org/download/antlr-3.4-complete.jar share/java/antlr-3.4-complete.jar 
-webget http://antlr.org/download/C/libantlr3c-3.4.tar.gz src/libantlr3c-3.4.tar.gz
+webget http://antlr3.org/download/antlr-3.4-complete.jar share/java/antlr-3.4-complete.jar 
+webget http://antlr3.org/download/C/libantlr3c-3.4.tar.gz src/libantlr3c-3.4.tar.gz
 tee bin/antlr3 <<EOF
 #!/bin/bash
 export CLASSPATH=`pwd`/share/java/antlr-3.4-complete.jar:\$CLASSPATH

diff --git a/src/parser/tptp/tptp.cpp b/src/parser/tptp/tptp.cpp
index 89150142b8590908862a4f2b076001c0ca78834c..1e40ea63f920c7fd5ce68d5b3f244358104848ca 100644 (file)
--- a/src/parser/tptp/tptp.cpp
+++ b/src/parser/tptp/tptp.cpp
@@ -89,7 +89,7 @@ void Tptp::addTheory(Theory theory) {
 
 
 /* The include are managed in the lexer but called in the parser */
-// Inspired by http://www.antlr.org/api/C/interop.html
+// Inspired by http://www.antlr3.org/api/C/interop.html
 
 bool newInputStream(std::string fileName, pANTLR3_LEXER lexer){
   Debug("parser") << "Including " << fileName << std::endl;