id	summary	reporter	owner	description	type	status	priority	milestone	component	resolution	keywords	cc
228	Plugins	Pedro Gea	Juan Jose Fonseca	"En cierto momento el trac antiguo disponía de algunos plugins que ya no tiene (en su momento se deshabilitaron).
Sería bueno saber de qué plugins disponemos e instalarlos.
Por ahora recuerdo que había algo para renombrar las páginas de la wiki, y un plugin que añadía al menú la posibilidad de hacer unos informes de la evolución del sistema.
También sería conveniente si es posible disponer de algo para obtener documentos PDF a partir de las páginas.
No sé si el tratamiento de ecuaciones en LaTEX y alguna otra cosa dependen de plugins."	enhancement	closed	critical	Maintenance	Trac	fixed