Re: [Vampire-public] Write access

[Akim Demaille]

 > Akim Demaille: akim
 > Nicolas Burrus: nes

Thanks.

Index: .cvsignore
===================================================================
RCS file: .cvsignore
diff -N .cvsignore
--- /dev/null   1 Jan 1970 00:00:00 -0000
+++ .cvsignore 1 Oct 2003 08:20:33 -0000
@@ -0,0 +1,8 @@
+Makefile
+Makefile.in
+aclocal.m4
+autom4te.cache
+config
+config.status
+configure
+diffs.tmp
Index: doc/.cvsignore
===================================================================
RCS file: doc/.cvsignore
diff -N doc/.cvsignore
--- /dev/null   1 Jan 1970 00:00:00 -0000
+++ doc/.cvsignore 1 Oct 2003 08:20:33 -0000
@@ -0,0 +1,2 @@
+Makefile
+Makefile.in
Index: doc/config/.cvsignore
===================================================================
RCS file: doc/config/.cvsignore
diff -N doc/config/.cvsignore
--- /dev/null   1 Jan 1970 00:00:00 -0000
+++ doc/config/.cvsignore 1 Oct 2003 08:20:33 -0000
@@ -0,0 +1,2 @@
+Makefile
+Makefile.in
Index: doc/texinfo/.cvsignore
===================================================================
RCS file: doc/texinfo/.cvsignore
diff -N doc/texinfo/.cvsignore
--- /dev/null   1 Jan 1970 00:00:00 -0000
+++ doc/texinfo/.cvsignore 1 Oct 2003 08:20:33 -0000
@@ -0,0 +1,5 @@
+Makefile
+Makefile.in
+stamp-vti
+vampire.info
+version.texi
Index: misc/.cvsignore
===================================================================
RCS file: misc/.cvsignore
diff -N misc/.cvsignore
--- /dev/null   1 Jan 1970 00:00:00 -0000
+++ misc/.cvsignore 1 Oct 2003 08:20:33 -0000
@@ -0,0 +1,2 @@
+Makefile
+Makefile.in
Index: misc/completion/.cvsignore
===================================================================
RCS file: misc/completion/.cvsignore
diff -N misc/completion/.cvsignore
--- /dev/null   1 Jan 1970 00:00:00 -0000
+++ misc/completion/.cvsignore 1 Oct 2003 08:20:33 -0000
@@ -0,0 +1,2 @@
+Makefile
+Makefile.in
Index: src/.cvsignore
===================================================================
RCS file: src/.cvsignore
diff -N src/.cvsignore
--- /dev/null   1 Jan 1970 00:00:00 -0000
+++ src/.cvsignore 1 Oct 2003 08:20:33 -0000
@@ -0,0 +1,7 @@
+Makefile
+Makefile.in
+confversion.py
+vampire
+vampire-log-summary
+vampire-xml2html
+version.py
Index: tests/.cvsignore
===================================================================
RCS file: tests/.cvsignore
diff -N tests/.cvsignore
--- /dev/null   1 Jan 1970 00:00:00 -0000
+++ tests/.cvsignore 1 Oct 2003 08:20:33 -0000
@@ -0,0 +1,2 @@
+Makefile
+Makefile.in
Index: tests/parse/.cvsignore
===================================================================
RCS file: tests/parse/.cvsignore
diff -N tests/parse/.cvsignore
--- /dev/null   1 Jan 1970 00:00:00 -0000
+++ tests/parse/.cvsignore 1 Oct 2003 08:20:33 -0000
@@ -0,0 +1,2 @@
+Makefile
+Makefile.in
Index: tests/parse/hosts/.cvsignore
===================================================================
RCS file: tests/parse/hosts/.cvsignore
diff -N tests/parse/hosts/.cvsignore
--- /dev/null   1 Jan 1970 00:00:00 -0000
+++ tests/parse/hosts/.cvsignore 1 Oct 2003 08:20:33 -0000
@@ -0,0 +1,2 @@
+Makefile
+Makefile.in
Index: tests/parse/hosts/bad/.cvsignore
===================================================================
RCS file: tests/parse/hosts/bad/.cvsignore
diff -N tests/parse/hosts/bad/.cvsignore
--- /dev/null   1 Jan 1970 00:00:00 -0000
+++ tests/parse/hosts/bad/.cvsignore 1 Oct 2003 08:20:33 -0000
@@ -0,0 +1,2 @@
+Makefile
+Makefile.in
Index: tests/parse/hosts/good/.cvsignore
===================================================================
RCS file: tests/parse/hosts/good/.cvsignore
diff -N tests/parse/hosts/good/.cvsignore
--- /dev/null   1 Jan 1970 00:00:00 -0000
+++ tests/parse/hosts/good/.cvsignore 1 Oct 2003 08:20:33 -0000
@@ -0,0 +1,2 @@
+Makefile
+Makefile.in
Index: tests/parse/tarballs/.cvsignore
===================================================================
RCS file: tests/parse/tarballs/.cvsignore
diff -N tests/parse/tarballs/.cvsignore
--- /dev/null   1 Jan 1970 00:00:00 -0000
+++ tests/parse/tarballs/.cvsignore 1 Oct 2003 08:20:33 -0000
@@ -0,0 +1,2 @@
+Makefile
+Makefile.in
Index: tests/parse/tarballs/bad/.cvsignore
===================================================================
RCS file: tests/parse/tarballs/bad/.cvsignore
diff -N tests/parse/tarballs/bad/.cvsignore
--- /dev/null   1 Jan 1970 00:00:00 -0000
+++ tests/parse/tarballs/bad/.cvsignore 1 Oct 2003 08:20:33 -0000
@@ -0,0 +1,2 @@
+Makefile
+Makefile.in
Index: tests/parse/tarballs/good/.cvsignore
===================================================================
RCS file: tests/parse/tarballs/good/.cvsignore
diff -N tests/parse/tarballs/good/.cvsignore
--- /dev/null   1 Jan 1970 00:00:00 -0000
+++ tests/parse/tarballs/good/.cvsignore 1 Oct 2003 08:20:33 -0000
@@ -0,0 +1,2 @@
+Makefile
+Makefile.in
Index: tests/remote_test/.cvsignore
===================================================================
RCS file: tests/remote_test/.cvsignore
diff -N tests/remote_test/.cvsignore
--- /dev/null   1 Jan 1970 00:00:00 -0000
+++ tests/remote_test/.cvsignore 1 Oct 2003 08:20:33 -0000
@@ -0,0 +1,2 @@
+Makefile
+Makefile.in
Index: tests/xml_elements/.cvsignore
===================================================================
RCS file: tests/xml_elements/.cvsignore
diff -N tests/xml_elements/.cvsignore
--- /dev/null   1 Jan 1970 00:00:00 -0000
+++ tests/xml_elements/.cvsignore 1 Oct 2003 08:20:33 -0000
@@ -0,0 +1,2 @@
+Makefile
+Makefile.in
Index: tests/xml_elements/bad/.cvsignore
===================================================================
RCS file: tests/xml_elements/bad/.cvsignore
diff -N tests/xml_elements/bad/.cvsignore
--- /dev/null   1 Jan 1970 00:00:00 -0000
+++ tests/xml_elements/bad/.cvsignore 1 Oct 2003 08:20:33 -0000
@@ -0,0 +1,2 @@
+Makefile
+Makefile.in
Index: tests/xml_elements/good/.cvsignore
===================================================================
RCS file: tests/xml_elements/good/.cvsignore
diff -N tests/xml_elements/good/.cvsignore
--- /dev/null   1 Jan 1970 00:00:00 -0000
+++ tests/xml_elements/good/.cvsignore 1 Oct 2003 08:20:33 -0000
@@ -0,0 +1,2 @@
+Makefile
+Makefile.in
Index: wrappers/.cvsignore
===================================================================
RCS file: wrappers/.cvsignore
diff -N wrappers/.cvsignore
--- /dev/null   1 Jan 1970 00:00:00 -0000
+++ wrappers/.cvsignore 1 Oct 2003 08:20:33 -0000
@@ -0,0 +1,4 @@
+Makefile
+Makefile.in
+sshwrapper
+telnetwrapper