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