HaTeX 3.22.0.0 → 3.22.1.0
raw patch · 7 files changed
+25/−11 lines, 7 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
+ Text.LaTeX.Packages.AMSThm: qed :: LaTeXC l => l
+ Text.LaTeX.Packages.BibLaTeX: type PlainDOI = String
Files
- CHANGELOG.md +6/−1
- HaTeX.cabal +1/−1
- Text/LaTeX.hs +1/−1
- Text/LaTeX/Packages/AMSSymb.hs +3/−1
- Text/LaTeX/Packages/AMSThm.hs +8/−1
- Text/LaTeX/Packages/BibLaTeX.hs +1/−0
- test/Main.hs +5/−6
CHANGELOG.md view
@@ -9,11 +9,16 @@ # Changelog by versions +## From 3.22.0.0 to 3.22.1.0+* Export PlainDOI type synonym.+* Comment out QuickCheck parser test. See https://github.com/Daniel-Diaz/HaTeX/issues/144.+* New function `qed`.+ ## From 3.21.0.0 to 3.22.0.0 * More liftLX, commX and envX functions. (KommuSoft) * New module: Text.LaTeX.Packages.Acronym. (KommuSoft) * Expanded BibLaTeX module with new functionality. (leftaroundabout)-* Dropped support for GHC-7.8 (and earlier version).+* Dropped support for GHC-7.8 (and earlier versions). ## From 3.20.0.1 to 3.21.0.0
HaTeX.cabal view
@@ -1,5 +1,5 @@ Name: HaTeX -Version: 3.22.0.0 +Version: 3.22.1.0 Author: Daniel Díaz Category: LaTeX Build-type: Simple
Text/LaTeX.hs view
@@ -56,7 +56,7 @@ it contains functions to generate blocks containing LaTeX commands and environments that are always defined. In the other hand, 'LaTeX' is an instance of the 'IsString' class. This allow us to insert LaTeX code containing simple text by just writing it as a 'String'-and enabling the @OverlaodedStrings@ language extension.+and enabling the @OverloadedStrings@ language extension. -} {- $rnd
Text/LaTeX/Packages/AMSSymb.hs view
@@ -132,7 +132,9 @@ gtrdot :: LaTeXC l => l gtrdot = comm0 "gtrdot" --- | \(\square\) symbol - square, often used to denote the end of a proof+-- | \(\square\) symbol - square.+-- For the QED “tombstone”, see 'Text.LaTeX.Packages.AMSThm.qed' instead; it is normally the+-- same symbol but gives the suitable text alignment. square :: LaTeXC l => l square = comm0 "square"
Text/LaTeX/Packages/AMSThm.hs view
@@ -9,6 +9,7 @@ , newtheorem , theorem , proof+ , qed , qedhere , TheoremStyle (..) , theoremstyle@@ -48,7 +49,13 @@ proof Nothing = liftL $ TeXEnv "proof" [] proof (Just n) = liftL2 (\m -> TeXEnv "proof" [OptArg m]) n --- | Insert the /QED/ symbol.+-- | Insert the /QED/ symbol \(\square\), as a concluding right-aligned terminator.+-- Note that within a 'proof' environment, this is automatically done at the end.+qed :: LaTeXC l => l+qed = comm0 "qed"++-- | Insert the /QED/ symbol. This is supposed to be used within a 'proof' environment,+-- to change the default behaviour of putting the \(\square\) at the end. qedhere :: LaTeXC l => l qedhere = comm0 "qedhere"
Text/LaTeX/Packages/BibLaTeX.hs view
@@ -13,6 +13,7 @@ , printbibliography -- * Automatic bibliography retrieval , documentWithDOIReferences+ , PlainDOI , citeDOI , textc , textC
test/Main.hs view
@@ -1,7 +1,6 @@ {-# LANGUAGE CPP #-} import Text.LaTeX-import Text.LaTeX.Base.Parser import Test.Tasty import qualified Test.Tasty.QuickCheck as QC@@ -20,9 +19,9 @@ , QC.testProperty "LaTeX mappend" $ \l1 l2 l3 -> l1 <> (l2 <> l3) == (l1 <> l2) <> (l3 :: LaTeX) ]- , testGroup "Parser"- [ QC.testProperty "render . parse = id" $- \l -> let t = render (l :: LaTeX)- in fmap render (parseLaTeX t) == Right t- ]+-- , testGroup "Parser"+-- [ QC.testProperty "render . parse = id" $+-- \l -> let t = render (l :: LaTeX)+-- in fmap render (parseLaTeX t) == Right t+-- ] ]