texmacs
/
doc
mirror of https://github.com/texmacs/doc.git
1
0
Fork 0
Code

Doc: Typo

This commit is contained in:
Miguel de Benito 2014-04-06 07:33:25 +00:00
parent 9ee5b01e20
commit c23fb1f199
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
main/config/man-advanced-preferences.en.tm
View File

@ -1,4 +1,4 @@
<TeXmacs|1.0.7.19> <TeXmacs|1.99.1>
<style|tmdoc> <style|tmdoc>
@ -8,7 +8,7 @@
In addition to the <hlink|preferences dialog|man-preferences.en.tm>, where In addition to the <hlink|preferences dialog|man-preferences.en.tm>, where
most of the important customization may be made, there are some other user most of the important customization may be made, there are some other user
preferences available. These are either too ``fine-grained'' to be added to preferences available. These are either too ``fine-grained'' to be added to
the main dialog or simply unsupported and therefore the are only made the main dialog or simply unsupported and therefore they are only made
accessible through the <scheme> procedures <scm|set-preference> and accessible through the <scheme> procedures <scm|set-preference> and
<scm|get-preference> as explained in <hlink|<scheme> procedures for user <scm|get-preference> as explained in <hlink|<scheme> procedures for user
preferences|../../devel/scheme/utils/utils-preferences.en.tm>. These are preferences|../../devel/scheme/utils/utils-preferences.en.tm>. These are