Debug conflict with old model
Verification Testing for the new ASM
Merge branch 'master' of https://github.com/KWARC/Sally
Specification Generation:
- Function Declarations
- Function Definitions
- Axioms (must be improved)
Property - Value mechanism for blocks and relations
Remove blocks and relations
More stable specification generation (not complete)
Propetie value mechanism for blocks and relations
More stable specification generation (not complete)
Merge branch 'master' of https://github.com/KWARC/Sally
conflicts resolved

Conflicts:
	sally_comm/src/main/resources/common.proto
	sally_spreadsheet/src/main/java/info/kwarc/sally/model/document/spreadsheet/ASMInterface.java
	sally_spreadsheet/src/main/java/info/kwarc/sally/model/document/spreadsheet/ModelAdministrator.java
	sally_spreadsheet/src/main/java/info/kwarc/sally/spreadsheet3/logic/RelationInterpreter.java
	sally_spreadsheet/src/main/java/info/kwarc/sally/spreadsheet3/model/Manager.java
	sally_spreadsheet/src/test/java/info/kwarc/sally/spreadsheet3/verification/VerificationSpecificationGeneratorTest.java
Merge pull request #12 from cliguda/master

Debug ASM