diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/prooftrees/prooftrees_biber.bib')
-rw-r--r-- | Master/texmf-dist/doc/latex/prooftrees/prooftrees_biber.bib | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/Master/texmf-dist/doc/latex/prooftrees/prooftrees_biber.bib b/Master/texmf-dist/doc/latex/prooftrees/prooftrees_biber.bib index d292955f8c1..c2c6dba09b1 100644 --- a/Master/texmf-dist/doc/latex/prooftrees/prooftrees_biber.bib +++ b/Master/texmf-dist/doc/latex/prooftrees/prooftrees_biber.bib @@ -1,27 +1,27 @@ @BOOK{hodges-logic, AUTHOR = {Hodges, Wilfred}, - PUBLISHER = {Penguin}, - YEAR = {1977, 1991}, ISBN = {0140136363}, + PUBLISHER = {Penguin}, TITLE = {Logic: An Introduction to Elementary Logic}, + YEAR = {1977, 1991}, } @MANUAL{saso-forest-manual, AUTHOR = {Živanović, Sašo}, - URL = {http://spj.ff.uni-lj.si/zivanovic/}, DATE = {2016-03-04}, EDITION = {2.0.2}, - KEYWORDS = {TeX,LaTeX,PGF,TikZ,Forest}, + KEYWORDS = {TeX, LaTeX, PGF, TikZ, Forest}, TITLE = {Forest: A {PGF}/Ti\mkbibemph{k}{Z}-Based Package for Drawing Linguistic Trees}, + URL = {http://spj.ff.uni-lj.si/zivanovic/}, } @MANUAL{tantau-tikz-pgf-manual, AUTHOR = {Tantau, Till}, - URL = {http://sourceforge.net/projects/pgf}, DATE = {2015-08-29}, EDITION = {3.0.1a}, - KEYWORDS = {TeX,LaTeX,PGF,TikZ}, + KEYWORDS = {TeX, LaTeX, PGF, TikZ}, SUBTITLE = {Manual for Version 3.0.1a}, TITLE = {The {T}i\mkbibemph{k}{Z} and {PGF} Packages}, + URL = {http://sourceforge.net/projects/pgf}, } |