What's new in CEqEA 2.5.1037
Jun 25, 2015
- explicit toggling of cert tab
New in CEqEA 2.5.1036 (Jun 25, 2015)
- updated obsolete terminology
New in CEqEA 2.5.1035 (Jun 25, 2015)
New in CEqEA 2.5.1034 (Jun 25, 2015)
- undo r1030 (for pretty-printing)
New in CEqEA 2.5.1033 (Jun 25, 2015)
- fixed bug affecting mainly active-only contravariance
New in CEqEA 2.5.1032 (Jun 25, 2015)
- new deStrong: explicit regulator conjoined to passive contra
New in CEqEA 2.5.1031 (Jun 25, 2015)
- new deStrong: explicit regulator conjoined to passive contra missing
New in CEqEA 2.5.1030 (Jun 25, 2015)
- consume modality-related separator
New in CEqEA 2.5.1029 (Jun 25, 2015)
- STRONG parsing: last for modalities, first for deStrong
New in CEqEA 2.5.1028 (Jun 25, 2015)