Browse Source

format more uniform, to facilitate filters .tex->.html

Roberto Ierusalimschy 28 years ago
parent
commit
a22b54bbb6
1 changed files with 202 additions and 195 deletions
  1. 202 195
      manual.tex

File diff suppressed because it is too large
+ 202 - 195
manual.tex


Some files were not shown because too many files changed in this diff