summaryrefslogtreecommitdiff
path: root/support/splint/README
diff options
context:
space:
mode:
Diffstat (limited to 'support/splint/README')
-rw-r--r--support/splint/README7
1 files changed, 3 insertions, 4 deletions
diff --git a/support/splint/README b/support/splint/README
index 9665ca2e7c..56e01e55d4 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-2020, Alexander Shibakov
+% Copyright 2012-2022, Alexander Shibakov
% This file is part of SPLinT
%
% SPLinT is free software: you can redistribute it and/or modify
@@ -38,7 +38,6 @@ cweb/* - executables and documentation:
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
@@ -51,7 +50,7 @@ tex/* - \TeX\ macros
xarithm.sty - expandable arithmetic for parsing macros
grabstates.sty - macros for state grabbing
*tokenset.sty - token typesetting definitions
- gindex.sty -generic indexing macros
+ gindex.sty - generic indexing macros
dcols.sty - multiple column output
noweb.sty - noweb style references (local within a page)
limbo.sty - limbo section macros
@@ -85,4 +84,4 @@ VERSION - the current version
The most recent version of this software can be downloaded at
- math.tntech.edu/alex/splint.tar.bz2
+ www.shibakov.org/splint/archive/splint.tar.bz2