Massimiliano Gubinelli e6b10134e7 Add mechanism to embed TeXmacs documents as attachments to the generated PDF (by @tangdouer1005)		2024-03-20 13:05:17 +00:00
..
api	Add mechanism to embed TeXmacs documents as attachments to the generated PDF (by @tangdouer1005)	2024-03-20 13:05:17 +00:00
bibliography	Fix typos	2019-01-16 16:04:56 +00:00
buffer	Fix typos	2019-01-16 16:04:56 +00:00
database	Update database from disk in case of changes	2015-04-15 08:08:24 +00:00
edit	Fix typos	2019-01-16 16:04:56 +00:00
graphics	Fix typos	2019-01-16 16:04:56 +00:00
gui	doc: fix broken hlinks (en only) and minor changes. Please check new	2022-12-31 12:04:11 +00:00
overview	doc: fix broken hlinks (en only) and minor changes. Please check new	2022-12-31 12:04:11 +00:00
utils	Fix typos	2019-01-16 16:04:56 +00:00
scheme.en.tm	Nicer name	2019-06-01 10:02:54 +00:00