|File Search||Catalog||Content Search|
mathpartir - LaTeX macros for typesetting inference rules… more info»
This package was debianized by Ralf Treinen <email@example.com> on Sun, 14 Nov 2004 21:31:44 +0100. It was downloaded from http://pauillac.inria.fr/~remy/latex/index.html#tir Copyright: 2001, 2002, 2003, 2004, 2005 Didier Rémy Upstream Author: Didier Remy <Didier.Remy@inria.fr> License: You are free to distribute this software under the terms of the GNU General Public License; version 2, or (at your option) any later version. On Debian systems, the complete text of the GNU General Public License version 2 can be found in the /usr/share/common-licenses/GPL-2 file.