diff --git a/about/contribute/converters/converters.en.tm b/about/contribute/converters/converters.en.tm index 07ac90a..9027036 100644 --- a/about/contribute/converters/converters.en.tm +++ b/about/contribute/converters/converters.en.tm @@ -8,12 +8,12 @@ If you are familiar with , , Html, Xml, Sgml, Markdown, Mathml, Pdf, Rtf, or any other frequently used data format, please consider contributing to writing good converters for one or more of these formats. - In |../../../devel/format/format.en.tm> + In |../../../devel/format/basics/basics.en.tm> you will find details about the data format and in |../../../devel/source/conversions.en.tm> we give some suggestions which might be helpful for these projects. - + if you want to contribute to these or any other issues. In the menu you can find documentation about the - of , its , + of , its , how to write with other formats, and so on. diff --git a/about/projects/roadmap-external.en.tm b/about/projects/roadmap-external.en.tm index 1cf3461..b572eea 100644 --- a/about/projects/roadmap-external.en.tm +++ b/about/projects/roadmap-external.en.tm @@ -3,35 +3,33 @@ <\body> - + Some people which are not part of the core development team use for other projects. We do our best to support such external developments and make the necessary changes inside when necessary. Here - follows a list of a few initiatives that we are aware of: + follows a list of a few initiatives that we have been aware of: <\itemize> - is developing a - plug-in for the |http://coq.inria.fr/coq-fra.html> proof - assistant, called . A first version of this plug-in is about - to be released; please check Lionel's homepage. Similarly, Henri Lesourd - is developing an interface to the . The - use of as a front-end for proof assistants and theorem provers - raises interesting questions about asynchroneous plug-in evaluations, - keeping track and appropriate rendering of the state of a prover, - appropriate mathematical and proof markup, etc. + Lionel Mamane has developed a plug-in for the + |https://coq.inria.fr/> proof assistant, called + , but was never released publicly. Similarly, Henri Lesourd + developed an interface to the \mega mathematical assistant + system. The use of as a front-end for proof assistants and + theorem provers raises interesting questions about asynchroneous plug-in + evaluations, keeping track and appropriate rendering of the state of a + prover, appropriate mathematical and proof markup, etc. - Saugata Basu, Richard Pollack and Marie-François Roy have written - an interactive book ``'' + Saugata Basu, Richard Pollack and Marie-Fran�ois Roy have written + an interactive book \P\Q using . Any people interested in developing addional interactive features inside are invited to contact us. and - formerly have considered developing a - for . Another such initiative is + formerly have considered developing a for + . Another such initiative is |http://www.nongnu.org/fangle/>, which has recently been started by . Any concrete implementation of their proposals would happily find its way into the main distribution. @@ -49,8 +47,5 @@ Documentation License".> -<\initial> - <\collection> - - - \ No newline at end of file + +> \ No newline at end of file diff --git a/about/welcome/welcome.en.tm b/about/welcome/welcome.en.tm index da90248..cd597bc 100644 --- a/about/welcome/welcome.en.tm +++ b/about/welcome/welcome.en.tm @@ -28,12 +28,6 @@ documentation about the format, its primitives and environment variables, and the standard style files. - In the |../../tutorial/tut-tutorial.en.tm> - menu, we have started a tutorial. The tutorial is mainly - intended for beginners, but the later chapters should also be useful for - more experienced users. Unfortunately, the tutorial is not very complete - yet. - The |../../about/about.en.tm> menu contains more information about , like information about its , how to . In fact, you may compile such books yourself from any help page using . This may take a few minutes though. + + Finally the website|https://www.texmacs.org> + provides further material such as videos, tutorials (not necessarily + up-to-date), FAQs, links to user forum and mailing lists, etc.\ > diff --git a/devel/format/environment/env-general.en.tm b/devel/format/environment/env-general.en.tm index 0190949..e7dc5bd 100644 --- a/devel/format/environment/env-general.en.tm +++ b/devel/format/environment/env-general.en.tm @@ -93,7 +93,7 @@ variable in order to determine a concrete implementation as well as a particular instance of the current programming language. For instance, in case of the - |../../../main/interface/cas/man-maxima.en.tm> + |../../../../plugins/maxima/doc/maxima-abstract.en.tm> language, different implementation may be used fooor the underlying . Similarly, one may wish to run two different instances of in parallel. @@ -136,7 +136,7 @@ like ``'', are supported for different color charts: |https://en.wikibooks.org/wiki/LaTeX/Colors#The_68_standard_colors_known_to_dvips>, |https://en.wikipedia.org/wiki/X11_color_names#Color_name_charts> - and |http://www.w3schools.com/html/html_colornames.asp>. + and |https://www.w3schools.com/colors/colors_names.asp>. <\explain> diff --git a/devel/format/regular/prim-space.en.tm b/devel/format/regular/prim-space.en.tm index 4448b4e..866fb09 100644 --- a/devel/format/regular/prim-space.en.tm +++ b/devel/format/regular/prim-space.en.tm @@ -1,6 +1,6 @@ - + - +> <\body> @@ -11,9 +11,9 @@ <|explain> This primitive inserts an elastic vertical space after the current - paragraph. All operands must be . The argument specifies - the default length and the and arguments the + paragraph. All operands must be . The argument specifies the + default length and the and arguments the bounds to vertical stretching for page breaking and filling. If and are not specified, then they are determined implicitly from the length unit of . @@ -57,9 +57,9 @@ <|explain> - This primitive inserts a stretchable horizontal space of nominal - width , which must be a . The and + This primitive inserts a stretchable horizontal space of nominal width + , which must be a . The and arguments specify bounds to horizontal stretching for line breaking and filling. If and are not specified, then they are determined implicitly from the length unit of . @@ -88,7 +88,7 @@ <\indent> inserts a strong spring of minimal width and of weight unity. The operand must be a - . + . specifies the weight, which can be a positive decimal number or one of the two special values documented @@ -119,3 +119,6 @@ Texts. A copy of the license is included in the section entitled "GNU Free Documentation License".> + + +> \ No newline at end of file diff --git a/devel/scheme/gui/scheme-gui-dialogs.en.tm b/devel/scheme/gui/scheme-gui-dialogs.en.tm index 134e8e0..82f7405 100644 --- a/devel/scheme/gui/scheme-gui-dialogs.en.tm +++ b/devel/scheme/gui/scheme-gui-dialogs.en.tm @@ -89,7 +89,7 @@ is another of the several available container or - . It accepts + . It accepts two sorts of arguments. Either one sets a fixed size for the widget with two strings, as in the example above, or one passes two lists, the first for widths, the second for heights, with the minimum, default and maximum diff --git a/devel/scheme/gui/scheme-gui-lists-trees.en.tm b/devel/scheme/gui/scheme-gui-lists-trees.en.tm index 4997c81..e9d3f1d 100644 --- a/devel/scheme/gui/scheme-gui-lists-trees.en.tm +++ b/devel/scheme/gui/scheme-gui-lists-trees.en.tm @@ -1,6 +1,6 @@ - + -> +> <\body> @@ -215,7 +215,7 @@ See in |$TEXMACS_PATH/progs/kernel/gui/menu-test.scm> - and ``''. + and ``''. diff --git a/devel/scheme/overview/scheme-overview.en.tm b/devel/scheme/overview/scheme-overview.en.tm index 11c9ac4..a08a43e 100644 --- a/devel/scheme/overview/scheme-overview.en.tm +++ b/devel/scheme/overview/scheme-overview.en.tm @@ -1,52 +1,53 @@ - + <\body> - extension language> + extension language> One major characteristic of is the possibility to extend the - editor using the - . Such + editor using the - . Such extensions can be simple, like a personal boot file containing frequently used keyboard shortcuts, or more complex, like a plug-in with special - editing routines for a particular type of documents. The - language can also be used interactively from within the editor or invoked - by special markup like ``actions''. + editing routines for a particular type of documents. The language + can also be used interactively from within the editor or invoked by special + markup like \Pactions\Q. - In this chapter, we give an overview of why and how to use - from within . The first sections provide sufficient information - for someone who wants to program some basic customization of the keyboard - and menus. The latter sections give an introduction to the general - architecture of the API and some important features and - particularities of way is used within . The reading - of the overview is highly recommended to anyone who wants to make - non-trivial use of inside . + In this chapter, we give an overview of why and how to use from + within . The first sections provide sufficient information for + someone who wants to program some basic customization of the keyboard and + menus. The latter sections give an introduction to the general architecture + of the API and some important features and particularities of way + is used within . The reading of the overview is highly + recommended to anyone who wants to make non-trivial use of inside + . - More complete documentation about the modules provided by + More complete documentation about the modules provided by is available from the menu. We also - recommend the following on-line manuals about and its - implementation: + recommend the following on-line manuals about and its + implementation: <\itemize-minus> - programming + programming language|http://www.scheme.com/tspl2d/index.html>. - . + . - For further information about , we refer to - |http://www.schemers.org>. As a + For further information about , we refer to + |http://www.schemers.org> or + . As a general rule, we also encourage users to take a look at the - source code for concrete examples on how to use from within + source code for concrete examples on how to use from within . <\traverse> - uses as its extension + uses as its extension language|overview-why.en.tm> - |overview-start.en.tm> + |overview-start.en.tm> - + API|overview-architecture.en.tm> @@ -70,8 +71,5 @@ Documentation License".> -<\initial> - <\collection> - - - \ No newline at end of file + +> \ No newline at end of file diff --git a/devel/style/customize/customize-theorems.en.tm b/devel/style/customize/customize-theorems.en.tm index bec76ee..36e3a0e 100644 --- a/devel/style/customize/customize-theorems.en.tm +++ b/devel/style/customize/customize-theorems.en.tm @@ -1,6 +1,6 @@ - + - +> <\body> @@ -30,11 +30,11 @@ > - When available in the dictionaries, the text ``Experiment'' will + When available in the dictionaries, the text \PExperiment\Q will be automatically translated when your document is written in a foreign - language. In the section about , it is - also explained how to define other numbered textual environments (besides + language. In the section about , it is also + explained how to define other numbered textual environments (besides theorems, remarks and exercises). @@ -42,7 +42,7 @@ The principal rendering of the environments can be customized by redefining the , and macros. These macros take the of - the environment (like ``Theorem 1.2'') and its as + the environment (like \PTheorem 1.2\Q) and its as arguments. For instance, if you want theorems to appear in a slightly indented way, with a slanted body, then you may redefine as follows: @@ -94,7 +94,7 @@ - In the sections about , it is explained how to customize the counters of numbered environments for particular purposes. For instance, by redefining , you may force theorems to @@ -117,7 +117,7 @@ >>> - + - \ No newline at end of file + + + +> \ No newline at end of file diff --git a/devel/style/customize/customize.en.tm b/devel/style/customize/customize.en.tm index 8d89a40..9085a6c 100644 --- a/devel/style/customize/customize.en.tm +++ b/devel/style/customize/customize.en.tm @@ -1,6 +1,6 @@ - + - +> <\body> styles> @@ -12,8 +12,8 @@ understanding of the global architecture of the standard style files and a more precise understanding of the parts you wish to customize. In this section, we will explain the general principles. For more details, we refer - to the chapter on the - tags|../../../main/styles/std-dtds/dtds.en.tm>. + to the chapter on the + tags|../design/style-language.en.tm>. <\traverse> - + -<\initial> - <\collection> - - - \ No newline at end of file + +> \ No newline at end of file diff --git a/devel/style/design/style-assign.en.tm b/devel/style/design/style-assign.en.tm index b351426..69ec976 100644 --- a/devel/style/design/style-assign.en.tm +++ b/devel/style/design/style-assign.en.tm @@ -1,12 +1,12 @@ - + - +> <\body> All user defined macros and style variables are stored in the - ``current typesetting environment''. This environment associates a tree + \Pcurrent typesetting environment\Q. This environment associates a tree value to each string variable. Variables whose values are macros correspond to new primitives. The others are ordinary environment variables. The primitives for operating on the environment are available from @@ -36,9 +36,9 @@ Finally, you may associate logical properties to environment variables using the primitive. This is explained in more detail in - the section about . + the section about . - + -<\initial> - <\collection> - - - - - - - - - - - - \ No newline at end of file + +> \ No newline at end of file diff --git a/devel/style/design/style-compute.en.tm b/devel/style/design/style-compute.en.tm index b379072..a7653fe 100644 --- a/devel/style/design/style-compute.en.tm +++ b/devel/style/design/style-compute.en.tm @@ -1,6 +1,6 @@ - + - +> <\body> @@ -9,7 +9,7 @@ and you will find different primitives for computing with integers, strings, tuples and boolean values. For instance, in the following code, the tag defines - a new ``important tag'' as well as a variant in red: + a new \Pimportant tag\Q as well as a variant in red: <\tm-fragment> >|>>>>|-red>>|>>>>>>>>> @@ -17,11 +17,10 @@ Here we use the primitive in order to concatenate two strings. The different computational primitives are described in more - detail in the on the - primitives|../../format/primitives/primitives.en.tm>. + detail in the + on the primitives|../../format/stylesheet/stylesheet.en.tm>. - + -<\initial> - <\collection> - - - - - - - - - - - - \ No newline at end of file + +> \ No newline at end of file diff --git a/devel/style/design/style-flow.en.tm b/devel/style/design/style-flow.en.tm index f6fc80e..d19aa7d 100644 --- a/devel/style/design/style-flow.en.tm +++ b/devel/style/design/style-flow.en.tm @@ -1,6 +1,6 @@ - + - +> <\body> @@ -50,11 +50,10 @@ can be edited by the user). Therefore, you will have to manually give this information using the primitive. The , and primitives are explained in more - detail in the on the - primitives|../../format/primitives/primitives.en.tm>. + detail in the + on the primitives|../../format/stylesheet/stylesheet.en.tm>. - + -<\initial> - <\collection> - - - - - - - - - - - - \ No newline at end of file + +> \ No newline at end of file diff --git a/devel/style/design/style-language.en.tm b/devel/style/design/style-language.en.tm index b35fcd5..445d5fd 100644 --- a/devel/style/design/style-language.en.tm +++ b/devel/style/design/style-language.en.tm @@ -10,7 +10,7 @@ the style-sheet language of . In this section, we will give a more complete survey of the available features. For more detailed descriptions, we refer to the chapter about the - primitives|../../format/primitives/primitives.en.tm>. + primitives|../../format/stylesheet/stylesheet.en.tm>. The style-sheet primitives can be obtained from the menu when you are in source mode. In all other modes, the menu becomes diff --git a/devel/style/design/style-macro.en.tm b/devel/style/design/style-macro.en.tm index fe17dba..1a9bd3b 100644 --- a/devel/style/design/style-macro.en.tm +++ b/devel/style/design/style-macro.en.tm @@ -1,6 +1,6 @@ - + - +> <\body> @@ -11,19 +11,19 @@ expansion is computed by or a plug-in. The macro-related primitives are available from the menu. Below, we will only describe the ordinary macros. For more details, we refer to the - section about . + section about . Ordinary macros are usually defined using <\tm-fragment> - >|>>|>|body>>> + >|>>|>|body>>> After such an assignment, becomes a new primitive with - arguments, which may be called using + arguments, which may be called using <\tm-fragment> - >|>>|>>> + >|>>|>>> Inside the body of the macro, the primitive may be used to @@ -59,7 +59,7 @@ ||>|>>>>> - + -<\initial> - <\collection> - - - - - - - - - - - - \ No newline at end of file + +> \ No newline at end of file diff --git a/devel/style/presentation/src-present-intro.en.tm b/devel/style/presentation/src-present-intro.en.tm index 9b4719d..6731580 100644 --- a/devel/style/presentation/src-present-intro.en.tm +++ b/devel/style/presentation/src-present-intro.en.tm @@ -1,13 +1,13 @@ - + - +> <\body> Most users are used to edit source code using a conventional editor like , while presenting the source code in ASCII format. Since all - documents are stored as , + documents are stored as , an interesting but complicated question is which format is most suitable for editing such documents. One option is to represent the tree using an ASCII-based format, such as XML, Scheme, or the native format for storing @@ -15,10 +15,10 @@ fundamental distinction between source code and normal documents. In we have chosen to implement the second option. More precisely, - any document can be edited in ``source mode'', which is merely a mode for + any document can be edited in \Psource mode\Q, which is merely a mode for rendering the document in a way which makes its tree structure particularly apparent. It may be instructive to take an arbitrary document of yours and - to take a look at it in ``source mode'' by enabling + to take a look at it in \Psource mode\Q by enabling . The choice between ASCII-based editing and tree-based editing is @@ -38,7 +38,7 @@ highlighting, indentation, One is not constraint by any - ``structure'' during the editing phase. + \Pstructure\Q during the editing phase. Our approach is to reproduce as much of the above advantages in a @@ -50,11 +50,11 @@ For instance, consider a piece of manually formatted code like - <\cpp-fragment> + <\cpp-code> if (cond) hop \ \ = 2; else \ \ \ \ \ holala= 3; - + Clearly, the user had a particular formatting policy when writing this code. However, this policy does not appear in the document: manual @@ -70,7 +70,7 @@ structured highlighting. Further tools will be developed later and we are open for any suggestions from our users. - + -<\initial> - <\collection> - - - - - - - - - - - - \ No newline at end of file + +> \ No newline at end of file diff --git a/main/config/man-config-keyboard.en.tm b/main/config/man-config-keyboard.en.tm index 5c05e20..52ffefa 100644 --- a/main/config/man-config-keyboard.en.tm +++ b/main/config/man-config-keyboard.en.tm @@ -137,7 +137,7 @@ If, for some reason, the standard shortcuts are not sufficient or suitable for you, then you may . + shortcuts|../scheme/man-custom-keyboard.en.tm>. diff --git a/main/convert/man-convert.en.tm b/main/convert/man-convert.en.tm index da48f5b..8eb3003 100644 --- a/main/convert/man-convert.en.tm +++ b/main/convert/man-convert.en.tm @@ -46,4 +46,10 @@ Invariant Sections, with no Front-Cover Texts, and with no Back-Cover Texts. A copy of the license is included in the section entitled "GNU Free Documentation License".> - \ No newline at end of file + + +<\initial> + <\collection> + + + \ No newline at end of file diff --git a/main/editing/man-versioning.en.tm b/main/editing/man-versioning.en.tm index 1c46df9..6b21f86 100644 --- a/main/editing/man-versioning.en.tm +++ b/main/editing/man-versioning.en.tm @@ -13,7 +13,7 @@ automatic. Below, we will describe in more detail how this tool works. In addition, there exist many stand-alone programs for maintaining several - versions of a same file, such as |http://subversion.tigris.org/>, + versions of a same file, such as |https://en.wikipedia.org/wiki/Apache_Subversion>, |http://git-scm.com/>, |http://darcs.net/>, |http://www.gnu.org/software/gnu-arch/>, just to mention a few of diff --git a/main/faq/faq.en.tm b/main/faq/faq.en.tm index 5997bc0..4b8e286 100644 --- a/main/faq/faq.en.tm +++ b/main/faq/faq.en.tm @@ -251,7 +251,7 @@ Try reinstalling , preferably the latest version that used to work for you. Old versions can be found at - + \ Submit a bug report, report the issue to one of our mailing lists, or contact the authors. diff --git a/main/math/keyboard/man-enter-math.en.tm b/main/math/keyboard/man-enter-math.en.tm index a7129c0..32e70fe 100644 --- a/main/math/keyboard/man-enter-math.en.tm +++ b/main/math/keyboard/man-enter-math.en.tm @@ -38,8 +38,8 @@ This entry allows you to create an , a three columns wide table-like environment (see ). This environment is typically - used for lists of multiple relations like + tables|../../table/man-create-table.en.tm>). This environment is + typically used for lists of multiple relations like <\eqnarray*> ||>|x|)>>||>|||>|+z>||>>>> diff --git a/main/math/semantics/man-syntax-correction.en.tm b/main/math/semantics/man-syntax-correction.en.tm index f4aadea..447b685 100644 --- a/main/math/semantics/man-syntax-correction.en.tm +++ b/main/math/semantics/man-syntax-correction.en.tm @@ -15,8 +15,8 @@ instance, the formulas might contain some text or meaningful whitespace. Another example of an notation is the sign sequence . In such cases, the user should the appropriate parts of the - formula in order to make them semantically meaningful. + annotate|man-semantics.en.tm> the appropriate parts of the formula in + order to make them semantically meaningful. The grammar used for the interpretation of mathematical formulas may be incomplete or inadequate for certain situations. It is diff --git a/main/text/keyboard/man-keyboard.en.tm b/main/text/keyboard/man-keyboard.en.tm index 93bd552..41d760d 100644 --- a/main/text/keyboard/man-keyboard.en.tm +++ b/main/text/keyboard/man-keyboard.en.tm @@ -6,7 +6,7 @@ We recall that the section on contains explanations on the + conventions|../../start/man-conventions.en.tm> contains explanations on the way keyboard shortcuts are printed in this manual. It may also be useful to take a look at the section on . diff --git a/main/text/keyboard/man-keyboard.fr.tm b/main/text/keyboard/man-keyboard.fr.tm index 6266711..0b7c34e 100644 --- a/main/text/keyboard/man-keyboard.fr.tm +++ b/main/text/keyboard/man-keyboard.fr.tm @@ -6,8 +6,8 @@ Nous rappelons que la section sur \ les contiens des explications sur la - manière dont les raccourcis clavier sont afficher dans ce manuel. Il peut + générales|../../start/man-conventions.fr.tm> contient des explications sur la + manière dont les raccourcis clavier sont affichés dans ce manuel. Il peut aussi être utile de consulter la section sur . @@ -41,4 +41,4 @@ <\collection> - \ No newline at end of file +