texmacs
/
doc
mirror of https://github.com/texmacs/doc.git
1
0
Fork 0
Code
545 Commits 1 Branch 0 Tags 4.7 MiB
Commit Graph

206 Commits

Author SHA1 Message Date
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 91e0e8cbf7 Nicer name 2019-06-01 10:02:54 +00:00
Joris van der Hoeven da3238a5ec Correctly export 'include' primitive to HTML 2019-05-23 12:27:02 +00:00
Joris van der Hoeven 24df0ab0b0 Facility for displaying keyboard presses when making screencasts 2019-04-10 13:50:00 +00:00
Joris van der Hoeven b0709530b7 Implement spell checking for selected regions 2019-02-16 11:41:24 +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
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 ee995e8259 Activate new spell widgets 2019-01-16 11:47:36 +00:00
Joris van der Hoeven 35a90f0795 Further progress on spell widgets 2019-01-15 23:06:02 +00:00
Joris van der Hoeven 8fcec4e200 First experimental version of spell widgets 2019-01-15 21:25:25 +00:00
Joris van der Hoeven 3b3b95aaa4 Applying a graphical effect to an array of images on disk 2018-06-21 22:16:05 +00:00
Joris van der Hoeven fc87006bc0 Quick and dirty 'diff' implementation for strings 2018-03-07 14:04:01 +00:00
Joris van der Hoeven 323c4b01d0 Make it possible to generate auxiliary material from within the test suite 2018-03-07 10:06:21 +00:00
Joris van der Hoeven e52ee04602 Improved scheme interface for printing 2017-12-14 21:06:44 +00:00
Joris van der Hoeven a58cb675d9 Support (still deactivated) for on the fly change of retina settings 2017-12-13 17:55:49 +00:00
Denis Raux 6d6d891a51 WIndows: new printing methode 2017-11-10 15:44:10 +00:00
Darcy Shen 31595662cb fix typos, thanks to Zhaochong Jia 2017-10-13 06:30:48 +00:00
Joris van der Hoeven 20d309b1ea Improved plug-in detection in case of changes of PATH 2017-07-19 15:56:00 +00:00
Joris van der Hoeven 19804cfb3d Display database warnings in console 2017-07-01 13:08:44 +00:00
Joris van der Hoeven 666318f6bb Fix bug #45636: edit_main_rep::print_snippet doesn't expand macro before printing 2017-06-23 16:01:18 +00:00
Joris van der Hoeven 0973a73461 Release selection on structured cursor moves 2017-06-22 19:41:57 +00:00
Joris van der Hoeven b7c4a46e53 Re-implement a few potentially time critical routines in C++ 2017-06-21 20:57:18 +00:00
Joris van der Hoeven 984e2043a0 Improved efficiency in the case of many search/replace hits 2017-06-21 16:25:52 +00:00
Joris van der Hoeven fb5bd32366 Better sorting of accented characters 2017-03-07 14:17:32 +00:00
Philippe Joyez 6b5e960d8e fix file mode 2017-03-01 18:28:22 +00:00
Joris van der Hoeven 3d1389ef19 First step towards interactive course material 2016-09-08 11:20:54 +00:00
Joris van der Hoeven 7a77d3d17e Increased control over player invalidation 2016-05-18 15:18:11 +00:00
Joris van der Hoeven 7611f17732 Resetting all players in a document 2016-05-18 11:18:04 +00:00
Joris van der Hoeven 25871dd498 Add file_size function, unix only for the moment 2016-05-13 08:46:28 +00:00
Joris van der Hoeven dd5dfbdd31 Fix 2016-05-11 15:58:20 +00:00
Joris van der Hoeven d37c53f6da Possibility to dynamically import new fonts 2016-04-26 17:38:21 +00:00
Joris van der Hoeven f75b3964c8 Routine to compute number of pages of document or slideshow 2016-04-02 09:15:15 +00:00
Joris van der Hoeven b8e22e7d31 Cutting and pasting of selections of several slides in page mode 2016-04-01 21:07:45 +00:00
Joris van der Hoeven a99d3f8e5e Fix screen fitting facilities for new page rendering styles 2016-03-31 16:01:38 +00:00
Joris van der Hoeven 14eeda61bd Start using new animation players for finer control in laptop presentations 2016-03-17 23:38:47 +00:00
Joris van der Hoeven 60f1fb109a Getting the control times of an animation 2016-02-22 14:41:52 +00:00
Darcy Shen cd08d94b0e DOC_ZH: details of tm format 2016-02-20 14:48:07 +00:00
Darcy Shen cc02336ce5 DOC_EN: fix a type 2016-02-20 05:13:28 +00:00
Darcy Shen f75d047944 DOC_EN: correct escape sequence for < and > 2016-02-19 10:15:03 +00:00
Joris van der Hoeven c2eb4a101d Update 2016-02-18 10:24:05 +00:00
Darcy Shen 749dc8aade DOC_ZH: typesetting, tm-tree, tm-docs 2016-02-18 07:47:23 +00:00
Philippe Joyez 2e18efb691 glue functions in apidoc and completions 2016-02-02 08:01:37 +00:00
Joris van der Hoeven 6995361fc1 Better formulation 2015-12-10 12:34:29 +00:00
Joris van der Hoeven ae2c5499b2 Minor fixes 2015-06-29 10:29:52 +00:00
Joris van der Hoeven cea0e5d1dc Update database from disk in case of changes 2015-04-15 08:08:24 +00:00
Darcy Shen b4f07f8475 Doc: add a translation file 2015-04-11 14:39:18 +00:00
Joris van der Hoeven fbcbe35abe Document the routines for version management 2015-04-07 20:07:42 +00:00
Joris van der Hoeven 107441d53d Document db-allow? 2015-04-07 19:48:24 +00:00
Joris van der Hoeven d1d8e62394 Basic documentation on users, groups and permissions 2015-04-07 19:46:22 +00:00
Joris van der Hoeven 1edb9e43ae Tweaking 2015-04-07 19:33:34 +00:00
Joris van der Hoeven ea6e5a6dd4 Document formats of database entries 2015-04-07 19:27:00 +00:00
Joris van der Hoeven f3aacecda1 Document the indexation mechanism 2015-04-07 19:05:28 +00:00
Joris van der Hoeven 5d268327df Complete documentation 2015-04-07 18:39:27 +00:00
Joris van der Hoeven 06b448af7d Update documentation 2015-03-24 14:32:56 +00:00
Joris van der Hoeven c975208da8 Continued documentation 2015-03-24 14:04:52 +00:00
Joris van der Hoeven 2e36f01c2f Start documentation of database API 2015-03-24 13:51:00 +00:00
Miguel de Benito 48a975822b Doc update 2015-03-15 20:17:08 +00:00
Darcy Shen 3567654f46 DOC:[en]corrent a typo [中文]2/9 of format/basics 2014-11-29 06:17:27 +00:00
Darcy Shen 83a0248432 DOC: some files of devel/format/stylesheet 2014-11-21 14:46:49 +00:00
Philippe Joyez b23b4a0b09 Typos 2014-11-06 21:26:23 +00:00
Miguel de Benito 1933115d16 Doc: documented \write tag 2014-09-12 14:24:17 +00:00
Miguel de Benito e35bf52791 Doc:notice for outdated info 2014-08-26 17:37:56 +00:00
Joris van der Hoeven 9ae28b12dd Update technical documentation of environment variables which control the font 2014-06-09 19:45:52 +00:00
Miguel de Benito 5ad3b029f9 Doc: a few words on tm-properties 2014-06-07 16:53:37 +00:00
Joris van der Hoeven 456d0e8033 Fixes 2014-05-14 14:02:30 +00:00
Miguel de Benito 9ee5b01e20 Doc: typo 2014-03-21 20:58:15 +00:00
Miguel de Benito 77fed1355c Doc: typo 2014-03-11 19:00:48 +00:00
Miguel de Benito 4eeea53e89 Doc: typos 2014-02-16 11:29:26 +00:00
Miguel de Benito b39dd3d767 Doc: minor typos fixed 2014-02-11 18:13:02 +00:00
Miguel de Benito 2131042de4 Doc: updated english manual to reflect changes in menu name: Format->Adjust 2014-01-28 09:44:23 +00:00
Miguel de Benito cd01f95762 Doc: now really fixed 2014-01-02 19:29:37 +00:00
Miguel de Benito 5e0107709d Doc: errors in tree-view docs 2014-01-02 19:27:23 +00:00
Miguel de Benito 06ee7775f0 Further development of tree-view: 
+ Commands implemented.
  + Changes to the interface and documentation.
  + Don’t look in TEXMACS_PIXMAP_PATH if DecorationRole is set.
 2014-01-01 23:15:10 +00:00
Miguel de Benito 812ee2a023 Doc: Added documentation for enum, choice, choices, tree-widget. 
Added test widget for tree-widget.
 2014-01-01 01:24:16 +00:00
Joris van der Hoeven d16868cc6f More cautious documentation on nested DATA_BEGIN/DATA_END blocks 2013-11-28 15:14:58 +00:00
Joris van der Hoeven bf577496e1 Minor correction 2013-11-25 17:07:23 +00:00
Joris van der Hoeven 7362dd186d Minor corrections 2013-11-25 16:47:05 +00:00
Joris van der Hoeven 24d0da921d Completed reorganization of actions 2013-11-14 13:33:16 +00:00
Joris van der Hoeven 14d10864c1 Continued reorganization of Document menu 2013-10-26 21:20:27 +00:00
Miguel de Benito 1cedf00b5b Fixed spelling error 2013-10-20 16:42:22 +00:00
Miguel de Benito 7d825cebc0 A few words of documentation on widget styles 2013-08-18 15:16:01 +00:00
Miguel de Benito 00eaa567cf Documentation for auto updater. Documentation for advanced preferences. 2013-08-17 21:39:17 +00:00
Miguel de Benito 17e823cd77 Fixed some typos in docs 2013-07-10 20:26:30 +00:00
Miguel de Benito ab14447924 Typo 2013-05-27 08:34:04 +00:00
François Poulain 554186dd62 Colors rendering: adding more color names (from x11, dvips, html/svg) 2013-04-09 13:02:09 +00:00
Miguel de Benito 1859c26bd9 Some partial documentation for urls 2013-03-31 14:01:22 +00:00
Joris van der Hoeven 2e56bc5182 Update documentation 2013-03-05 08:31:56 +00:00
Joris van der Hoeven 7beee02084 Remove :initialize option from examples 2013-03-04 18:57:42 +00:00
Joris van der Hoeven 5704e395af More agressive use of caching for plugin settings 2013-03-04 13:50:26 +00:00
Miguel de Benito 1381c06de6 Typo 2013-03-04 10:58:22 +00:00
Miguel de Benito 832a742fa5 Typo 2013-02-25 16:51:46 +00:00
François Poulain 0df790262f Migrating author-misc -> author-note: documentation 2013-02-12 13:26:13 +00:00
Miguel de Benito 182719ae43 Minor documentation update 2013-01-14 18:35:25 +00:00
Miguel de Benito 8bddfe725d Remove comment about old bug 2013-01-06 16:53:09 +00:00
Miguel de Benito 9b2d65b9ec Typos (minor) 2013-01-01 13:58:23 +00:00