summaryrefslogtreecommitdiff
path: root/fonts/logix/CHANGELOG
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2021-07-07 03:03:32 +0000
committerNorbert Preining <norbert@preining.info>2021-07-07 03:03:32 +0000
commit4747884efc69f5b8ad51cc818467f7bbf428b815 (patch)
treed05568e0369ce16288bc105806553f717c194a1c /fonts/logix/CHANGELOG
parent109a435244c29109322bcd46386301f6c62d4061 (diff)
CTAN sync 202107070303
Diffstat (limited to 'fonts/logix/CHANGELOG')
-rw-r--r--fonts/logix/CHANGELOG52
1 files changed, 52 insertions, 0 deletions
diff --git a/fonts/logix/CHANGELOG b/fonts/logix/CHANGELOG
index c7a75b3fd0..aa703db329 100644
--- a/fonts/logix/CHANGELOG
+++ b/fonts/logix/CHANGELOG
@@ -1,3 +1,55 @@
+2021-07-06 v.09
+
+ 1. Corrected \Tild to point to non-monospace version of character.
+
+ 2. Added \Cpyrght for non-monospace version of character.
+
+ 3. Reverted change from /OpnTurn and /ClsTurn to /OpnForce and /ClsForce since the
+ change is non-intuitive and the use as "force" does not appear to be widespread.
+
+ 4. Corrected outline for RplcEquvRight.
+
+ 5. Added \RplcAllBnd, \RplcAll, \RplcFree, \RplcEquv, \RplcAny, \RplcAnyRight,
+ and \RplcAnyLeft.
+
+ 6. \EmptyBunch renamed to \VoidBunch.
+
+ 7. The modal operator names were shifted around, with two new sets of modal operators
+ added.
+
+ 8. Added Sheffer's stroke (\Shfr), logical nand (\Lnand) and logical nor (Lnor).
+
+ 9. Added zero width space (\NoSpace) as glyph, whereas \KntZZ is not an actual glyph.
+
+ 10. Exported \Lxor for logical XOR symbol.
+
+ 11. Added \Vmeet and \Vjoin, respectively as up and down hooked arrow.
+
+ 12. Added \NtExists, \HdnExists and \HdnForAll, \BnchNtExists, \BnchHdnExists and
+ \BnchHdnForAll.
+
+ 13. Added \SbNd, \SbOr, \SbNand, \SbNor, \SbXor, \SbLs, \SbNotLs, \SbLse, \SbNotLse,
+ \SbGre, \SbNoteGre, \SbGr and \SbNotGr.
+
+ 14. The LogixProof and LogixSequent environments now use braces for justification
+ references rather than brackets.
+
+ 15. Added \Cover.
+
+ 16. The \Defn symbol sidebearings tweaked to improve readability and the LogixDefn
+ environment modified to provide alignment on the definition symbol, which is now
+ incorporated into the environment. The LogixAxiom environment has been added to
+ provide formatted axioms or postulates.
+
+ 17. The LogixTable environment was added to provide a consistent appearance for
+ semantic maps and tableau.
+
+ 18. The LgcCohrnc and BncCohrnc symbols were renamed to LgcBistab and BncBistab.
+
+ 19. The mathtools package is now included automatically.
+
+ 20. The Blnk line option was added for the LogixProof and LogixSeqnt environment.
+
2021-01-17 v1.08
1. The \OpnTurn and \ClsTurn symbols have been renamed to \OpenForce and \ClsForce,