From ddfe3a4eaf95167482e923d4da3de2917a7dbfbb Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Thu, 7 Apr 2016 20:49:10 +0000 Subject: stex (7apr16) git-svn-id: svn://tug.org/texlive/trunk@40320 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/doc/latex/stex/README | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100644 Master/texmf-dist/doc/latex/stex/README (limited to 'Master/texmf-dist/doc/latex/stex/README') diff --git a/Master/texmf-dist/doc/latex/stex/README b/Master/texmf-dist/doc/latex/stex/README deleted file mode 100644 index ada6fff6096..00000000000 --- a/Master/texmf-dist/doc/latex/stex/README +++ /dev/null @@ -1,13 +0,0 @@ -sTeX: An Infrastructure for Semantic Preloading of LaTeX Documents - -This directory contains the sTeX package collection, a version of TeX/LaTeX that allows -to markup TeX/LaTeX documents semantically without leaving the document format, -essentially turning it into a document format for mathematical knowledge management -(MKM). - -Copyright (c) 2008 Michael Kohlhase -The package is distributed under the terms of the LaTeX Project Public License (LPPL) - -See http://trac.kwarc.info/sTeX for the project homepage, the development version of this -package can be found at https://svn.kwarc.info/repos/stex/trunk. If you are using SVN, it -is useful to include selected subdirectories of this as SVN externals. -- cgit v1.2.3