3 Commits

Author	SHA1	Message	Date
Christian Grothoff	891018f69f	minor renaming of signature values and improved documentation of signatures, also adding a few missing fields to signatures to address #3631	2015-03-28 14:22:21 +01:00
Christian Grothoff	c626ccac51	second round of renamefest	2015-03-28 11:06:00 +01:00
Christian Grothoff	eae1896a4b	major rename-fest for more constent symbol names	2015-03-27 19:58:40 +01:00