Merge branch '00-copyright' into 12-contributed
Merge branch '00-copyright' into 12-windows-fixes
Merge branch '00-copyright' into 13-subassign2
Merge branch '02-cons-with-tag' into 12-contributed
Merge branch '02-cons-with-tag' into 12-windows-fixes
Merge branch '02-cons-with-tag' into 13-subassign2
bug fix in DeleteListElementsSeq
Merge branch '13-subassign2' into 14
fix typo
Merge branch '12-contributed' into 13-newer-news
Merge branch '12-contributed' into 14
Merge branch '12-contributed' into 13-subassign2
include OPENMP in helpers Windows make
Merge branch '12-windows-fixes' into 13-newer-news
Merge branch '12-windows-fixes' into 14
Merge branch '12-windows-fixes' into 13-subassign2
changed for release of 2013-07-22
Merge branch '13-newer-news' into 14
get rid of unused variables
Merge branch '13-subassign2' into 14