diff options
author | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | 2019-03-11 11:04:25 -0300 |
---|---|---|
committer | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | 2019-03-11 11:04:25 -0300 |
commit | d9f83dded93a35fb333c4e1bd371c401f7129fd1 (patch) | |
tree | 54c830c8e67f2f0ac261799828b3e8c54d32020c /lpeg.html | |
parent | d97fe6ed31d4b274c88c996b0c06da597a455149 (diff) | |
download | lpeg-1.0.2.tar.gz lpeg-1.0.2.tar.bz2 lpeg-1.0.2.zip |
Some details before release 1.0.2v1.0.2
- changed release number
- small corrections in 'pack'
- removed "about" section in .html files
- added files 'HISTORY' and 'lpeg-128.gif'
Diffstat (limited to 'lpeg.html')
-rw-r--r-- | lpeg.html | 10 |
1 files changed, 2 insertions, 8 deletions
@@ -1391,13 +1391,13 @@ and the new term for each repetition. | |||
1391 | <h2><a name="download"></a>Download</h2> | 1391 | <h2><a name="download"></a>Download</h2> |
1392 | 1392 | ||
1393 | <p>LPeg | 1393 | <p>LPeg |
1394 | <a href="http://www.inf.puc-rio.br/~roberto/lpeg/lpeg-1.0.1.tar.gz">source code</a>.</p> | 1394 | <a href="http://www.inf.puc-rio.br/~roberto/lpeg/lpeg-1.0.2.tar.gz">source code</a>.</p> |
1395 | 1395 | ||
1396 | 1396 | ||
1397 | <h2><a name="license">License</a></h2> | 1397 | <h2><a name="license">License</a></h2> |
1398 | 1398 | ||
1399 | <p> | 1399 | <p> |
1400 | Copyright © 2007-2017 Lua.org, PUC-Rio. | 1400 | Copyright © 2007-2019 Lua.org, PUC-Rio. |
1401 | </p> | 1401 | </p> |
1402 | <p> | 1402 | <p> |
1403 | Permission is hereby granted, free of charge, | 1403 | Permission is hereby granted, free of charge, |
@@ -1433,12 +1433,6 @@ THE SOFTWARE. | |||
1433 | 1433 | ||
1434 | </div> <!-- id="main" --> | 1434 | </div> <!-- id="main" --> |
1435 | 1435 | ||
1436 | <div id="about"> | ||
1437 | <p><small> | ||
1438 | $Id: lpeg.html,v 1.77 2017/01/13 13:40:05 roberto Exp $ | ||
1439 | </small></p> | ||
1440 | </div> <!-- id="about" --> | ||
1441 | |||
1442 | </div> <!-- id="container" --> | 1436 | </div> <!-- id="container" --> |
1443 | 1437 | ||
1444 | </body> | 1438 | </body> |