doc: add some less common .sty files
commitc16288e986a87f8bab29e81a7c9004895bb6e7c0
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 22 Jul 2009 07:04:08 +0000 (22 09:04 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 22 Jul 2009 07:12:18 +0000 (22 09:12 +0200)
tree965efb8da4b5c0d11d396676b978a2ce6a085cfc
parenta380232cb9ed007308385a0831d81f9608ad786b
doc: add some less common .sty files
doc/Makefile.am
doc/glosstex.ist [new file with mode: 0644]
doc/glosstex.std [new file with mode: 0644]
doc/glosstex.sty [new file with mode: 0644]
doc/newproof.sty [new file with mode: 0644]