clean up
corrected comments
Universität des Saarlandes -> University of Kaiserslautern
declared and installed Annihilator1Augmented

- declared and installed the following attributes for IsDivisor
  . AssociatedMatrix
  . AssociatedMatrixOverWeylAlgebra (using AssociatedMatrix)
  . JacobiMatrix (using AssociatedMatrix)
  . Annihilator1Augmented
  . FirstAffineDegree
- used JacobiMatrix to simplify DerMinusLogMap
- declared the following operations for divisors
  . Annihilator1
  . Annihilator1Map
  . KernelSubobject
  . Annihilator1Augmented
  . FirstAffineDegree

Conflicts:
	doc/title.xml
installed IsDirectSumOfLineBundles for coherent sheaves

using Horrock's criterion
declared and installed for IsDirectSumOfLineBundles for divisors

using that of sheaves applied to sheafification of DerMinusLog

+ declared and installed LogicalImplicationsForDivisors
declared missing IsSheafOfRingsOrSheafOnSchemeRep

- declared missing
  . IsSheafOfRingsOrSheafOrSubsheafOnSchemeRep
  . IsSheafOfRingsOrSheafOrSubsheafOnSchemeRep
  . IsSheafOfRingsOrSheafOnSchemeRep
- IsSheafOfRingsOnSchemeRep now lies in the filter IsSheafOfRingsOrSheafOnSchemeRep
- IsCoherentSheafOnProjRep now lies in the filter IsSheafOfRingsOrSheafOnSchemeRep
updated example files
installed PoincarePolynomial

(needs GradedModules v2012.10.26)
fixed IsEmpty (for affine and projective schemes)
known dim >= 0 suppresses printing "non-empty scheme"
installed IsSmooth for schemes
IsHomalgRing now lies in the filter IsRingWithOne

comply with MatricesForHomalg v2013.04.15
renamed BettiDiagram -> BettiTable

complying with homalg & GradedModules v2013.06.03
updated syntax for Annihilator
adapted bounds to visualize the Serre vector bundle criterion in HorrocksMumford.g
installed immediate method: IsEmpty <=> Dimension( X ) < 0
declared scheme property IsQuasiAffine

(needed for new package AlgebraicThomas)
declared the attribute Closure for (embedded) schemes

(needed for new package AlgebraicThomas)
activated LogicalImplicationsForSchemes

. IsAffine => IsQuasiAffine
. IsEmpty => IsAffine

(needed for new package AlgebraicThomas)