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

78 Commits

Author SHA1 Message Date
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
Joris van der Hoeven ceee4cf5e2 Document multi-line switch input 2011-08-30 10:47:53 +00:00
Joris van der Hoeven 419c486958 Documentation on how to write documentation for plug-ins 2011-08-30 09:47:54 +00:00
Joris van der Hoeven d0f1c3f90f Remove obsolete 2011-08-29 20:04:53 +00:00
Joris van der Hoeven 545c63bd21 Rename 2011-08-29 19:59:38 +00:00
Joris van der Hoeven 3947113659 Rename 2011-08-29 19:58:23 +00:00
Joris van der Hoeven 25115ddee0 Rename 2011-08-29 19:57:11 +00:00
Joris van der Hoeven 9648af86b1 Remove obsolete 2011-08-29 19:51:38 +00:00
Joris van der Hoeven 16d6465135 Rename 2011-08-29 19:45:59 +00:00
Joris van der Hoeven 29aa8e4db9 Short documentation on scripting languages 2011-08-29 17:28:14 +00:00
Joris van der Hoeven 9bfe24cb98 Updates 2011-08-29 16:29:31 +00:00
Joris van der Hoeven dee2ca7030 Name changes 2011-08-29 14:08:44 +00:00
Joris van der Hoeven 4c029d0430 Remove obsolete 2011-08-29 13:58:12 +00:00
Joris van der Hoeven 21657c0d8a Remove obsolete 2011-08-29 13:57:25 +00:00
Joris van der Hoeven 523eb13e2c Rename 2011-08-28 20:36:27 +00:00
Joris van der Hoeven e3e0e911ce Remove 2011-08-28 20:19:05 +00:00
Joris van der Hoeven 5079ae0994 Rename 2011-08-28 20:17:59 +00:00
Joris van der Hoeven 570a3ba411 Rename back 2011-08-28 20:15:08 +00:00
Joris van der Hoeven 5d8eb1c73e Rename 2011-08-28 20:04:54 +00:00