updated resource license and docs and makefile

This commit is contained in:
aarne
2007-07-04 20:55:58 +00:00
parent 69ba797c35
commit 32615181a0
10 changed files with 217 additions and 330 deletions

View File

@@ -38,6 +38,8 @@ main = do
space
mapM_ (putParadigms isLatex) paradigmFiles
space
include "synopsis-browse.txt"
space
title "An Example of Usage"
space
include "synopsis-example.txt"