diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-07-04 15:29:29 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-07-04 15:29:29 +0000 |
| commit | 44a49cb801191cd6e803204aaffe04ab7a65a345 (patch) | |
| tree | a90e6644218d0c25afcabdedeb7c7acc39129c47 /contrib/texmacs/packages/session/openaxiom.ts | |
| parent | 8a4f74e2a21557463176766306120b13fa80e457 (diff) | |
| download | open-axiom-44a49cb801191cd6e803204aaffe04ab7a65a345.tar.gz | |
2009-07-04 Alfredo Portes <doyenatccny@gmail.com>
* contrib/texmacs: New.
Diffstat (limited to 'contrib/texmacs/packages/session/openaxiom.ts')
| -rwxr-xr-x | contrib/texmacs/packages/session/openaxiom.ts | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/contrib/texmacs/packages/session/openaxiom.ts b/contrib/texmacs/packages/session/openaxiom.ts new file mode 100755 index 00000000..3dbb7cfe --- /dev/null +++ b/contrib/texmacs/packages/session/openaxiom.ts @@ -0,0 +1,42 @@ +<TeXmacs|WinTeXmacs-1.0.4.4>
+
+<style|source>
+
+<\body>
+ <active*|<\src-title>
+ <src-package|openaxiom|1.0>
+
+ <\src-purpose>
+ Markup for OpenAxiom sessions.
+ </src-purpose>
+
+ <src-copyright|2002--2004|Joris van der Hoeven>
+
+ <\src-license>
+ This <TeXmacs> style package falls under the <hlink|GNU general public
+ license|$TEXMACS_PATH/LICENSE> and comes WITHOUT ANY WARRANTY
+ WHATSOEVER. If you do not have a copy of the license, then write to the
+ Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
+ 02111-1307, USA.
+ </src-license>
+ </src-title>>
+
+ <assign|openaxiom-input|<macro|prompt|body|<style-with|src-compact|none|<generic-input|<resize|<arg|prompt>|||1.75fn||>|<arg|body>>>>>
+
+ <assign|openaxiom-output|<macro|body|<style-with|src-compact|none|<surround|<vspace*|1fn>|<vspace|1fn>|<with|par-left|<plus|<value|par-left>|1.75fn>|<generic-output*|<arg|body>>>>>>>
+
+ \;
+
+ <assign|leqno|<macro|<htab|5mm>>>
+
+ <assign|openaxiomtype|<macro|type|<vspace*|0.5fn><next-line><hflush><with|color|brown|Type:
+ <arg|type>>>>
+
+ \;
+</body>
+
+<\initial>
+ <\collection>
+ <associate|preamble|true>
+ </collection>
+</initial>
\ No newline at end of file |