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

446 Commits

Author SHA1 Message Date
Joris van der Hoeven f54e8269dd Minor enhancements 2012-04-23 12:24:40 +00:00
Joris van der Hoeven 11d6556c2d Start documentation of buffer, view and window management API 2012-04-23 12:22:28 +00:00
Joris van der Hoeven 4214b446cb Extra directory 2012-04-23 09:23:53 +00:00
Joris van der Hoeven a6e326eabe Document new versioning facilities and changed conventions 2012-04-19 13:48:34 +00:00
Joris van der Hoeven 2380881feb minor change 2012-04-18 15:01:59 +00:00
Joris van der Hoeven be7e554866 support for SVN 2012-04-18 14:56:30 +00:00
Miguel de Benito 374226e6b7 More documentation for widgets 2012-04-07 12:02:10 +00:00
Miguel de Benito ad6a1646d1 Bug #24398, typo in docs. 2012-04-05 22:47:13 +00:00
Joris van der Hoeven 0fe31d6618 Replace no_name predicate by buffer_has_name 2012-03-21 14:40:12 +00:00
Joris van der Hoeven 53b975df66 Rename pretend-save-buffer 2012-03-20 21:36:22 +00:00
Joris van der Hoeven 1e103e277e Fix numbering of spreadsheets to be compatible with Excel, Open Office, etc. 2012-03-20 21:17:49 +00:00
Joris van der Hoeven 4ad73d1301 Rename get-name-buffer and set-name-buffer 2012-03-19 16:05:12 +00:00
Joris van der Hoeven b65bc3a395 Upgrade to version 1.0.7.15 2012-03-16 15:47:29 +00:00
Joris van der Hoeven 1bae77b41a Updated documentation 2012-03-11 15:24:10 +00:00
Miguel de Benito 85b6e4b427 Small modifications to the test form. 2012-03-08 17:32:06 +00:00
Joris van der Hoeven 9a542ac6bb TODO for spreadsheet facility 2012-03-08 10:35:49 +00:00
Joris van der Hoeven 7f41858385 Minor fix 2012-03-07 20:21:06 +00:00
Joris van der Hoeven 3c8a33fbe6 Describe graphical group editing mode 2012-03-07 19:48:52 +00:00
Joris van der Hoeven c5485a0a6f Extra documentation of graphical picture editor 2012-03-07 18:57:05 +00:00
Joris van der Hoeven 8951f4d8f7 Start documentation of graphics mode 2012-03-07 15:37:49 +00:00
Joris van der Hoeven ae7d5e84d7 Some reorganizations of the documentation 2012-03-07 14:22:57 +00:00
Joris van der Hoeven 5d5c1110e0 Reorganize documentation of plug-ins 2012-03-07 14:03:34 +00:00
Joris van der Hoeven cb4e04585c Completed documentation of spreadsheets 2012-03-07 13:09:20 +00:00
Joris van der Hoeven 702dc88400 Spreadsheet documentation 2012-03-07 09:02:32 +00:00
Joris van der Hoeven 3281a5db13 Basic documentation on spreadsheets 2012-03-06 23:12:07 +00:00
Miguel de Benito 06471c9246 Draft documentation of the widget and form system 2012-03-06 14:23:36 +00:00
Joris van der Hoeven 0f698d9a42 Reorganization of contextual overloading system, part I 2012-02-16 20:49:50 +00:00
Joris van der Hoeven ea66b07bac Continued preparations for reorganization of contextual overloading 2012-02-16 11:59:22 +00:00
Joris van der Hoeven 115bbf012c Update 2012-02-03 21:42:17 +00:00
Joris van der Hoeven 7593e603b3 Update documentation on tmdoc style 2012-02-03 21:39:51 +00:00
Joris van der Hoeven c22f0c47f1 Fixes in documentation 2012-02-02 22:22:31 +00:00
Joris van der Hoeven c78c7f7e81 Update 2012-02-01 21:55:18 +00:00
Joris van der Hoeven 25d0edfc1a Typo 2012-02-01 15:33:56 +00:00
Denis Raux 781c612016 various french menu corrections 2011-12-09 11:35:21 +00:00
Denis Raux 910f422fc1 various french add 2011-12-09 11:32:24 +00:00
Denis Raux 3dd7a968c9 correct some typos 2011-12-07 10:25:10 +00:00
Denis Raux 86330b1aea mise à jour doc/main/editing français 2011-12-06 15:40:10 +00:00
Joris van der Hoeven beb788e2ba Move to version 1.0.7.14 2011-10-17 18:50:23 +00:00
Joris van der Hoeven 803cfeea60 Changes in version 1.0.7.13 2011-09-16 11:29:21 +00:00
Joris van der Hoeven bcc8d688ea Changes for version 1.0.7.13 2011-09-08 16:26:58 +00:00
Joris van der Hoeven 8d6b161f74 Renamings and cleaning 2011-09-06 13:58:33 +00:00
Joris van der Hoeven 294017d595 Update TODO list 2011-09-06 13:54:49 +00:00
Joris van der Hoeven c9aee8ac24 Updates 2011-09-02 07:05:12 +00:00
Joris van der Hoeven 4911039da8 Fix 2011-09-01 23:01:51 +00:00
Joris van der Hoeven 604c7874ae Updates 2011-09-01 22:57:35 +00:00
Joris van der Hoeven b547bd454c Updates 2011-09-01 20:54:19 +00:00
Joris van der Hoeven 1e53b5c1ad News 2011-08-31 16:30:27 +00:00
Joris van der Hoeven 6dbca3c963 Customized Html generation 2011-08-31 14:15:38 +00:00
Joris van der Hoeven 468d8183c6 Remove backups 2011-08-30 13:25:40 +00:00
Joris van der Hoeven 03afda39c4 Further documentation of the Insert -> Fold -> Executable menu 2011-08-30 10:53:55 +00:00