~ubuntu-branches/ubuntu/hardy/texmacs/hardy

« back to all changes in this revision

Viewing changes to TeXmacs/doc/main/editing/man-editing-tools.en.tm

• browse files at revision 1
• compare with another revision
• download diff
• download tarball
• view history from revision 1

Show diffs side-by-side

added

removed

TeXmacs/doc/main/editing/man-editing-tools.en.tm

 

1

<TeXmacs|1.0.0.5>

 

2

 

 

3

<style|tmdoc>

 

4

 

 

5

<\body>

 

6

  <expand|tmdoc-title|Editing tools>

 

7

 

 

8

  <\traverse>

 

9

    <branch|Cut and paste|cut & paste|man-cut-and-paste.en.tm>

 

10

 

 

11

    <branch|Search and replace|search & replace|man-search-and-replace.en.tm>

 

12

 

 

13

    <branch|Spell checking|spell checking|man-spell-checking.en.tm>

 

14

 

 

15

    <branch|Undoing and redoing changes|undo & redo|man-undo-and-redo.en.tm>

 

16

  </traverse>

 

17

 

 

18

  <apply|tmdoc-copyright|1998--2002|Joris van der Hoeven>

 

19

 

 

20

  <expand|tmdoc-license|Permission is granted to copy, distribute and/or

 

21

  modify this document under the terms of the GNU Free Documentation License,

 

22

  Version 1.1 or any later version published by the Free Software Foundation;

 

23

  with no Invariant Sections, with no Front-Cover Texts, and with no

 

24

  Back-Cover Texts. A copy of the license is included in the section entitled

 

25

  "GNU Free Documentation License".>

 

26

</body>

 

27

 

 

28

<\initial>

 

29

  <\collection>

 

30

    <associate|paragraph width|150mm>

 

31

    <associate|odd page margin|30mm>

 

32

    <associate|shrinking factor|4>

 

33

    <associate|page right margin|30mm>

 

34

    <associate|page top margin|30mm>

 

35

    <associate|reduction page right margin|25mm>

 

36

    <associate|page type|a4>

 

37

    <associate|reduction page bottom margin|15mm>

 

38

    <associate|even page margin|30mm>

 

39

    <associate|reduction page left margin|25mm>

 

40

    <associate|page bottom margin|30mm>

 

41

    <associate|reduction page top margin|15mm>

 

42

    <associate|language|english>

 

43

  </collection>

 

44

</initial>

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1