5 Commits

Author	SHA1	Message	Date
Joris van der Hoeven	14d10864c1	Continued reorganization of Document menu	2013-10-26 21:20:27 +00:00
François Poulain	554186dd62	Colors rendering: adding more color names (from x11, dvips, html/svg)	2013-04-09 13:02:09 +00:00
Miguel de Benito	832a742fa5	Typo	2013-02-25 16:51:46 +00:00
Miguel de Benito	f75134534c	Typo fix (thanks to Bernd Losert)	2012-07-25 16:07:25 +00:00
Joris van der Hoeven	37b5b1132d	Rename	2011-08-28 07:59:50 +00:00