File: README

package info (click to toggle)
texlive-extra 2016.20170123-5
  • links: PTS
  • area: main
  • in suites: stretch
  • size: 2,578,600 kB
  • ctags: 25,000
  • sloc: perl: 139,711; python: 20,370; makefile: 14,165; sh: 10,734; ansic: 7,723; xml: 4,202; java: 3,567; csh: 1,129; ruby: 938; lisp: 630; awk: 163; tcl: 142; sed: 36; pascal: 25; cpp: 18; haskell: 5
file content (9 lines) | stat: -rw-r--r-- 350 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
 
statements.sty: A LaTeX Package for mathematical Statements

This package and class supplies a the infrastructure for writing OMDoc statements
(see http://www.omdoc.org) in LaTeX.
 
Copyright (c) 2008 Michael Kohlhase
The package is distributed under the terms of the LaTeX Project Public License (LPPL)

Project home: https://github.com/KWARC/sTeX/