1<TeXmacs|1.0.4>
2
3<style|<tuple|source|std>>
4
5<\body>
6  <active*|<\src-title>
7    <src-package|std-pattern|1.0>
8
9    <\src-purpose>
10      Macros for rendering patterns and pattern-based transformations
11    </src-purpose>
12
13    <src-copyright|1998--2004|Joris van der Hoeven>
14
15    <\src-license>
16      This software falls under the <hlink|GNU general public
17      license, version 3 or later|$TEXMACS_PATH/LICENSE>.
18      It comes WITHOUT ANY WARRANTY WHATSOEVER.
19      You should have received a copy of the license which the software.
20      If not, see <hlink|http://www.gnu.org/licenses/gpl-3.0.html|http://www.gnu.org/licenses/gpl-3.0.html>.
21    </src-license>
22  </src-title>>
23
24  <assign|pat-or*|<macro|x|<active*|<with|color|dark
25  magenta|mode|math|\<vee\>>><arg|x>>>
26
27  <assign|pat-or|<xmacro|x|<active*|<with|color|dark
28  magenta|(>><arg|x|0><map-args|pat-or*|concat|x|1><active*|<with|color|dark
29  magenta|)>>>>
30
31  <assign|pat-and*|<macro|x|<active*|<with|color|dark
32  magenta|mode|math|\<wedge\>>><arg|x>>>
33
34  <assign|pat-and|<xmacro|x|<active*|<with|color|dark
35  magenta|(>><arg|x|0><map-args|pat-and*|concat|x|1><active*|<with|color|dark
36  magenta|)>>>>
37
38  <assign|pat-and-not|<macro|x|y|<active*|<with|color|dark
39  magenta|(>><arg|x><active*|<with|color|dark
40  magenta|mode|math|\\>><arg|y><active*|<with|color|dark magenta|)>>>>
41
42  <assign|pat-group*|<macro|x|<active*|<with|color|dark
43  magenta|mode|math|\|>><arg|x>>>
44
45  <assign|pat-group|<xmacro|x|<active*|<with|color|dark
46  magenta|mode|math|(>><arg|x|0><map-args|pat-group*|concat|x|1><active*|<with|color|dark
47  magenta|mode|math|)>>>>
48
49  <assign|pat-compound*|<macro|x|<active*|<with|color|dark
50  magenta|mode|math|\|>><arg|x>>>
51
52  <assign|pat-compound|<xmacro|x|<active*|<with|color|dark
53  magenta|<with|mode|math|\<langle\>><with|font-family|ss|<inactive*|<arg|x|0>>>>><map-args|pat-compound*|concat|x|1><active*|<with|color|dark
54  magenta|mode|math|\<rangle\>>>>>
55
56  <assign|pat-repeat|<macro|x|<arg|x><active*|<with|color|dark
57  magenta|mode|math|<rsup|\<ast\>>>>>>
58
59  <assign|pat-any|<macro|<active*|<with|color|magenta|mode|math|<group|\<ast\>>>>>>
60
61  <assign|pat-several-any|<macro|nr|<pat-any><active*|<with|color|dark
62  magenta|mode|math|<rsup|<inactive*|<arg|nr>>>>>>>
63
64  <assign|pat-repeat-any|<macro|<pat-repeat|<pat-any>>>>
65
66  <assign|pat-quote|<macro|x|<with|color|magenta|font-shape|italic|<arg|x>>>>
67
68  <assign|pat-range|<macro|start|end|<active*|<with|color|dark
69  magenta|(>><arg|start><active*|<with|color|dark
70  magenta|-->><arg|end><active*|<with|color|dark magenta|)>>>>
71
72  <assign|pat-match|<macro|x|<arg|x><active*|<with|color|dark
73  magenta|mode|math|?>>>>
74
75  <assign|pat-replace|<macro|x|<arg|x><active*|<with|color|dark
76  magenta|mode|math|!>>>>
77
78  \;
79
80  <assign|select|<xmacro|x|<extern|ext-select|<arg|x|0>|<quote-arg|x>>>>
81
82  \;
83</body>
84
85<\initial>
86  <\collection>
87    <associate|preamble|true>
88  </collection>
89</initial>