diff options
author | Karl Berry <karl@freefriends.org> | 2014-01-16 23:11:02 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2014-01-16 23:11:02 +0000 |
commit | 113cdd788d5c99b5297e65cb8ff860ca50bffa7f (patch) | |
tree | 9bde5ddbc5da192f67dee7cede02fa378862e6e4 /Master/texmf-dist/doc/latex/natded/README.md | |
parent | 563aa16d63db4401947079a1f81ade8e411791f1 (diff) |
natded (16jan14)
git-svn-id: svn://tug.org/texlive/trunk@32693 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/natded/README.md')
-rw-r--r-- | Master/texmf-dist/doc/latex/natded/README.md | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/natded/README.md b/Master/texmf-dist/doc/latex/natded/README.md new file mode 100644 index 00000000000..bf8801aa1d8 --- /dev/null +++ b/Master/texmf-dist/doc/latex/natded/README.md @@ -0,0 +1,6 @@ +natded +====== + +A LaTeX package for natural deduction proofs in styles used by Jaśkowski and Kalish and Montague. + +Package version: 0.1
\ No newline at end of file |