Hi, Joris van der Hoeven wrote:
A message about Proclus for Alvaro, which may interest others too.
Could someone explain in english what is Proclus? Cheers :), Offray _______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
