[project @ 2001-08-31 15:48:55 by apt]
authorapt <unknown>
Fri, 31 Aug 2001 15:48:55 +0000 (15:48 +0000)
committerapt <unknown>
Fri, 31 Aug 2001 15:48:55 +0000 (15:48 +0000)
commit7eb82a4677a596da95303305f79a4dbc438079da
treed656dd9a71928260f29366210b915956581e8410
parente9571b2b7f92235baabc73c68c8bfd0b26b35d58
[project @ 2001-08-31 15:48:55 by apt]
add documentation for ext-core -- MERGE TO STABLE (surely harmless?)
ghc/docs/ext-core/Makefile [new file with mode: 0644]
ghc/docs/ext-core/a4wide.sty [new file with mode: 0644]
ghc/docs/ext-core/code.sty [new file with mode: 0644]
ghc/docs/ext-core/core.tex [new file with mode: 0644]