diff options
author | Norbert Preining <norbert@preining.info> | 2020-10-12 03:04:00 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2020-10-12 03:04:00 +0000 |
commit | 0ce40abb18ec02ec6fd6bcc5f21612c88daa7578 (patch) | |
tree | 416289fe1448873fd8ca33051f50ad85bffa8aaa /support/splint/README | |
parent | fdb18507cd80dc17f5a5256153d34668b4f4e61c (diff) |
CTAN sync 202010120303
Diffstat (limited to 'support/splint/README')
-rw-r--r-- | support/splint/README | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/support/splint/README b/support/splint/README index 9a0111b681..9665ca2e7c 100644 --- a/support/splint/README +++ b/support/splint/README @@ -1,6 +1,6 @@ To make the licensing part clear, SPLinT is GPL v.~3: -% Copyright 2012-2014, Alexander Shibakov +% Copyright 2012-2020, Alexander Shibakov % This file is part of SPLinT % % SPLinT is free software: you can redistribute it and/or modify @@ -35,19 +35,25 @@ cweb/* - executables and documentation: common.w - common code for table generators bo.w - parser for the bison grammar lo.w - lexer for the bison grammar + fo.w - parser for the flex grammar + so.w - lexer for the flex grammar np.w - scanner and parser for token names ssffo.w - lexer for state grabbing mkeparser.w - parser output `driver' mkscanner.w - lexer output `driver' splint.w - documentation + philosophy.w - rants + checklists.w - checklists to follow when modifying SPLinT tex/* - \TeX\ macros yy*.sty, yx*.sty, flex.sty - automata machinery trt1.sty - `\TeX\ runtime': temporary register definitions xarithm.sty - expandable arithmetic for parsing macros grabstates.sty - macros for state grabbing - ?tokenset.sty - token typesetting definitions + *tokenset.sty - token typesetting definitions + gindex.sty -generic indexing macros dcols.sty - multiple column output + noweb.sty - noweb style references (local within a page) limbo.sty - limbo section macros frontmatter.sty - macros to typeset the cover page @@ -56,8 +62,8 @@ examples/* - various examples: expression - a simple expression parser built with the package. ld - a typesetting parser for the \GNU\ linker, ld, with a very detailed implementation manual. - symbols - a demonstration of the features of the bison parser - included in the package. + symbols - a demonstration of the features of the bison and flex + parsers included in the package. types - expandable arithmetic (e.g. addition and subtraction macros that can be used inside \edef), tree data structure; incomplete and slow, merely a proof of concept; only |