8000
Version 3.1.11
Version 3.1.10
Version 3.1.9
Version 3.1.8 Makefile fixed
Version 3.1.7
Version 3.1.6
Version 3.1.5
Version 3.1.4: improved header file
Version 3.1.3: warning fixes
Version 3.1.2: minor documentation and makefile fix