[SCM] polybori: Polynomials over Boolean Rings branch, upstream, updated. b6ea8851d2e6aec5fdc9ef0b35d9c460004f5593

[Felix Salfelder]

The following commit has been merged in the upstream branch:
commit b6ea8851d2e6aec5fdc9ef0b35d9c460004f5593
Merge: 5e9398cb6b9c037943c1a65b5dd3f0f865e94492 b4a5cffaa908c53e1d958a42110f8c4dad853aa3
Author: Felix Salfelder <felix at salfelder.org>
Date:   Tue Mar 20 15:06:58 2012 +0100

    restored 0.8.1 orig tarball from v0.8.1
    
    Conflicts:
    	Cudd/Makefile
    	Cudd/dddmp/Makefile
    	Cudd/dddmp/dddmpLoad.c
    	Cudd/epd/epd.c
    	Cudd/epd/epd.h
    	Cudd/mnemosyne/Makefile
    	Cudd/mtr/Makefile
    	Cudd/mtr/mtr.h
    	Cudd/mtr/mtrBasic.c
    	Cudd/mtr/mtrGroup.c
    	Cudd/mtr/mtrInt.h
    	Cudd/mtr/testmtr.c
    	Cudd/nanotrav/Makefile
    	Cudd/nanotrav/README
    	Cudd/nanotrav/bnet.c
    	Cudd/nanotrav/bnet.h
    	Cudd/nanotrav/chkMterm.c
    	Cudd/nanotrav/main.c
    	Cudd/nanotrav/nanotrav.1
    	Cudd/nanotrav/ntr.c
    	Cudd/nanotrav/ntr.h
    	Cudd/nanotrav/ntrBddTest.c
    	Cudd/nanotrav/ntrHeap.c
    	Cudd/nanotrav/ntrMflow.c
    	Cudd/nanotrav/ntrShort.c
    	Cudd/nanotrav/ntrZddTest.c
    	Cudd/nanotrav/tst.sh
    	Cudd/nanotrav/ucbqsort.c
    	Cudd/obj/Makefile
    	Cudd/obj/cuddObj.cc
    	Cudd/obj/cuddObj.hh
    	Cudd/obj/testobj.cc
    	Cudd/sis/cuddBdd.h
    	Cudd/sis/cuddBddPort.c
    	Cudd/sis/cuddPwPt.c
    	Cudd/st/Makefile
    	Cudd/st/st.c
    	Cudd/st/st.h
    	Cudd/util/Makefile
    	Cudd/util/cpu_stats.c
    	Cudd/util/datalimit.c
    	Cudd/util/pathsearch.c
    	Cudd/util/pipefork.c
    	Cudd/util/prtime.c
    	Cudd/util/safe_mem.c
    	Cudd/util/saveimage.c
    	Cudd/util/state.c
    	Cudd/util/strsav.c
    	Cudd/util/texpand.c
    	Cudd/util/util.h
    	libpolybori/auxiliary/release.sh

diff --combined .hgignore
index 306ebe5,306ebe5..0000000
deleted file mode 100644,100644
--- a/.hgignore
+++ /dev/null
diff --combined Cudd/cudd/Makefile
index d769547,d769547..0000000
deleted file mode 100644,100644
--- a/Cudd/cudd/Makefile
+++ /dev/null
diff --combined Singular/README
index 8acca4f,8acca4f..0000000
deleted file mode 100644,100644
--- a/Singular/README
+++ /dev/null
diff --combined Singular/pb.cc
index 40a7ae8,40a7ae8..0000000
deleted file mode 100644,100644
--- a/Singular/pb.cc
+++ /dev/null
diff --combined Singular/pb.h
index 0771d22,0771d22..0000000
deleted file mode 100644,100644
--- a/Singular/pb.h
+++ /dev/null
diff --combined Singular/pb.mod
index e66f494,e66f494..0000000
deleted file mode 100644,100644
--- a/Singular/pb.mod
+++ /dev/null
diff --combined Singular/pb_if.cc
index b7ff014,b7ff014..0000000
deleted file mode 100644,100644
--- a/Singular/pb_if.cc
+++ /dev/null
diff --combined Singular/pbwrapper.h
index 0725f93,0725f93..0000000
deleted file mode 100644,100644
--- a/Singular/pbwrapper.h
+++ /dev/null
diff --combined Singular/psico.py
index 3285feb,3285feb..0000000
deleted file mode 100644,100644
--- a/Singular/psico.py
+++ /dev/null
diff --combined Singular/test_file.sing
index a801e68,a801e68..0000000
deleted file mode 100644,100644
--- a/Singular/test_file.sing
+++ /dev/null
diff --combined Singular/test_pb_if.Singular
index 362ff76,362ff76..0000000
deleted file mode 100644,100644
--- a/Singular/test_pb_if.Singular
+++ /dev/null
diff --combined libpolybori/doc/Makefile
index cf14acf,cf14acf..0000000
deleted file mode 100644,100644
--- a/libpolybori/doc/Makefile
+++ /dev/null

-- 
polybori: Polynomials over Boolean Rings