initial commit
Remove 2.10 folder
preliminary version
Fix bug with empty conditions
Add check for basic sorts
compile binary
Update manual
Fix displaying of  relations \geq and \leq
Fix typo in the manual (redundant \item in sort definition errors list
Add error examples; fix corresponding bugs and error messages
Update error12.sp (Fix comment)
Update error15.sp (Fix comment)
Update error16.sp (Fix comment)
Update error17.sp (Add comment)
Update error4.sp (Fix comment)
Add naive warning checker
change displayed version
remove debug output from execution script
add warnings description to manual, fix some typos
add warnings description to manual, fix some typos