Joris van der Hoeven
|
7362dd186d
|
Minor corrections
|
2013-11-25 16:47:05 +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
|
182719ae43
|
Minor documentation update
|
2013-01-14 18:35:25 +00:00 |
Miguel de Benito
|
726fbc3d96
|
Better doc. (minor)
|
2012-12-31 00:19:46 +00:00 |
Miguel de Benito
|
cfa68e52a4
|
Add doc for texmacs-modes
|
2012-12-31 00:17:37 +00:00 |
Miguel de Benito
|
020d912b5d
|
Added append-preference as a convenience function
|
2012-09-19 12:45:41 +00:00 |
Miguel de Benito
|
c98adf2e39
|
Comment on options for contextually overloaded functions.
|
2012-09-14 11:05:19 +00:00 |
Miguel de Benito
|
a243a4be18
|
Added documentation for preferences api.
|
2012-09-11 15:22:56 +00:00 |
Miguel de Benito
|
a223d5df6d
|
Revert: won't store api docs as separate tm files
|
2012-08-27 15:12:11 +00:00 |
Joris van der Hoeven
|
87a19cbc22
|
correction
|
2012-08-27 14:18:21 +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
|
37b5b1132d
|
Rename
|
2011-08-28 07:59:50 +00:00 |