documentationtexmacs

Joris van der Hoeven 71538d873a Multiply zoom factor by two on high resolution screens under GNU/Linux and Windows		2019-10-17 22:45:25 +00:00
about	Update significant changes by sadhen for 2.1	2019-10-07 09:14:12 +00:00
devel	Multiply zoom factor by two on high resolution screens under GNU/Linux and Windows	2019-10-17 22:45:25 +00:00
main	Fix problem	2019-08-17 04:53:28 +00:00
fdl.txt	Fix #34181: incorrect-fsf-address (mass substitution)	2012-09-12 14:24:00 +00:00