File org.texmacs.texmacs.desktop of Package TeXmacs-QT5 (Revision aefce5fb5519cc72ab723d46234f4ad4)
Currently displaying revision aefce5fb5519cc72ab723d46234f4ad4 , Show latest
Currently displaying revision aefce5fb5519cc72ab723d46234f4ad4 , Show latest