1
0
Fork 0
Commit Graph

421 Commits

Author SHA1 Message Date
Joris van der Hoeven 743b7d771f Fix 2019-07-05 14:27:25 +00:00
Darcy Shen e9ed1c56e8 Doc(en/fr/zh): should be Tools -> Versioning tool 2019-07-02 16:42:52 +00:00
Joris van der Hoeven 47c080a094 Changes for version 1.99.10 2019-06-27 14:52:59 +00:00
Darcy Shen 5d2c5e5aa6 DOC_zh: Add SVN revision 2019-06-24 16:40:07 +00:00
Joris van der Hoeven df8b5a9064 SVN revision 2019-06-24 15:03:44 +00:00
Darcy Shen f24acf2537 DOC(zh/en): How to select paper for page numbering 2019-06-23 05:02:58 +00:00
Darcy Shen ea5b39778e Documentation: improve the contribute guide on converters and using 2019-06-22 21:32:20 +00:00
Joris van der Hoeven 3f90096c32 Further color routines in Scheme 2019-06-20 07:45:14 +00:00
Joris van der Hoeven adca9c0a57 More agressive resolution of pattern urls 2019-06-19 21:16:23 +00:00
Joris van der Hoeven 2023a75d97 Automatically download missing artwork from the web 2019-06-17 13:40:45 +00:00
Joris van der Hoeven 094116b72c Update 2019-06-01 18:25:19 +00:00
Joris van der Hoeven afb2ce7284 Fix 2019-06-01 18:11:36 +00:00
Joris van der Hoeven cecff1e801 Upgrade 2019-06-01 14:20:18 +00:00
Joris van der Hoeven 552dd4c668 Complete manual 2019-06-01 10:49:10 +00:00
Joris van der Hoeven d1b0644871 Fix 2019-06-01 10:41:53 +00:00
Joris van der Hoeven bf2f63ca80 Polish user guide 2019-06-01 10:41:34 +00:00
Joris van der Hoeven cd9be6584d Polish guide 2019-06-01 10:40:29 +00:00
Joris van der Hoeven 91e0e8cbf7 Nicer name 2019-06-01 10:02:54 +00:00
Joris van der Hoeven 92afa2aa2c Mention TeX and Emacs 2019-06-01 08:08:47 +00:00
Joris van der Hoeven 35bd56dc1e Update 2019-06-01 08:04:32 +00:00
Joris van der Hoeven 74c8f9f62a Update 2019-06-01 08:04:12 +00:00
Joris van der Hoeven 7cc635ce82 Update 2019-06-01 08:04:00 +00:00
Joris van der Hoeven 1ab39fd1d4 Basile 2019-06-01 08:02:01 +00:00
Joris van der Hoeven fb0b57b2cc Update 2019-06-01 07:50:40 +00:00
Joris van der Hoeven 50dec00307 Update 2019-06-01 07:44:06 +00:00
Joris van der Hoeven 6dcaf2ed71 Updates 2019-05-31 09:26:36 +00:00
Joris van der Hoeven da3238a5ec Correctly export 'include' primitive to HTML 2019-05-23 12:27:02 +00:00
Darcy Shen f08d332bc2 Doc_ZH: Update about-summary 2019-05-19 21:39:44 +00:00
Darcy Shen 8d71c0332a Doc: minor zh,en update for man-versioning 2019-05-11 08:20:54 +00:00
Joris van der Hoeven dc7f05dae7 Extra possibilities to customize the HTML export 2019-05-09 13:40:10 +00:00
Darcy Shen 00e72409ff TMML: Chinese Translation Copyright keeps the original author 2019-05-04 09:42:10 +00:00
Darcy Shen 2822e061f3 DOC_zh: convert welcome.zh.tm to tmml 2019-04-20 02:28:25 +00:00
Joris van der Hoeven 24df0ab0b0 Facility for displaying keyboard presses when making screencasts 2019-04-10 13:50:00 +00:00
Darcy Shen e863a06c03 DOC_zh: migrate main/table to tmml 2019-03-23 08:13:45 +00:00
Darcy Shen 8d76690146 DOC_ZH: main/start migrate to tmml 2019-03-17 15:41:11 +00:00
Darcy Shen 2f204c636c Adopt tmml for the Chinese documents 2019-03-17 14:54:27 +00:00
Joris van der Hoeven b0709530b7 Implement spell checking for selected regions 2019-02-16 11:41:24 +00:00
Darcy Shen 252e879260 Improve Chinese Translation for man-layout.zh.tm 2019-02-16 04:15:30 +00:00
Joris van der Hoeven b0ce67d8c4 Fix typo 2019-02-08 10:51:08 +00:00
Joris van der Hoeven a26c5973f5 Further changes 2019-02-05 22:18:47 +00:00
Joris van der Hoeven b5e4e7c4e0 Correct several problems related to cite-author-year citing styles 2019-02-01 21:42:14 +00:00
Joris van der Hoeven c47f4f2d28 Introduction of a cleaner 'numbered' environment for line numbering inside algorithms 2019-01-30 21:55:51 +00:00
Joris van der Hoeven ba8e350156 Cleanly close embedded buffers 2019-01-30 17:48:04 +00:00
Darcy Shen a3c82cd68b Minor improvements on man-manual.zh.tm 2019-01-19 16:37:50 +00:00
Joris van der Hoeven 3627f4da11 Avoid menu flickering for certain mathematical letter symbols 2019-01-16 21:46:29 +00:00
Joris van der Hoeven 118570c783 Fix typos 2019-01-16 16:04:56 +00:00
Joris van der Hoeven 345a641f34 Fix various typos 2019-01-16 12:24:24 +00:00
Joris van der Hoeven 4a8d8c05ab Typo 2019-01-16 12:18:55 +00:00
Joris van der Hoeven 1e84f9054a Updates 2019-01-16 11:52:31 +00:00
Joris van der Hoeven ee995e8259 Activate new spell widgets 2019-01-16 11:47:36 +00:00