diff options
| author | Karl Berry <karl@freefriends.org> | 2006-07-08 00:45:13 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2006-07-08 00:45:13 +0000 |
| commit | d3b974a90a027f4e3109e15c5412d8f83085c284 (patch) | |
| tree | 56b6cf3b21ebb2884ae3a039887b184e080dc783 /Master/texmf/lists/semantic | |
| parent | c595c45087165b3b8ae636cfe06fed1e8585e51d (diff) | |
semantic update needed from 2002, from kaja
git-svn-id: svn://tug.org/texlive/trunk@1783 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf/lists/semantic')
| -rw-r--r-- | Master/texmf/lists/semantic | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf/lists/semantic b/Master/texmf/lists/semantic index 02242a89f9a..cbb84139a04 100644 --- a/Master/texmf/lists/semantic +++ b/Master/texmf/lists/semantic @@ -1,4 +1,4 @@ - +texmf-dist/doc/latex/semantic/semantic.pdf texmf-dist/source/latex/semantic/semantic.dtx texmf-dist/source/latex/semantic/semantic.ins texmf-dist/tex/latex/semantic/infernce.sty |