X-Git-Url: http://git.indexdata.com/?a=blobdiff_plain;f=doc%2Findex.markdown;h=5a0727bb63d548ae8d855788b31a3df12c9b4a15;hb=0c89d53214ae11af36e7ce08b3d2c99cc8521a53;hp=2f4a06947f4a08c93f8425f65605ae32b82e1a6b;hpb=7bac0889ac2cf1032c4eceb2334f7d348d7c78a0;p=mkws-moved-to-github.git diff --git a/doc/index.markdown b/doc/index.markdown index 2f4a069..5a0727b 100644 --- a/doc/index.markdown +++ b/doc/index.markdown @@ -31,10 +31,14 @@ else is refinement. Documentation ------------- +* This file. + [PDF version] * The README -- mostly technical details. + [PDF version] * The MKWS manual, including a reference section. - This is a much better introduction. + [PDF version] * The MKWS developers' guide. + [PDF version] Tools -----