Overview
Comment:Initial revision
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | origin/master | trunk
Files: files | file ages | folders
SHA3-256: 475047faae8caa997874fc297c65247f16e5bfe2b048e09c0fb17da2e075f8a3
User & Date: gawthrop@users.sourceforge.net on 2000-05-19 17:52:09
Other Links: branch diff | manifest | tags
Context
2000-05-19
19:50:02
New version SS check-in: f0d8b8118c user: gawthrop@users.sourceforge.net tags: origin/master, trunk
17:52:09
Initial revision check-in: 475047faae user: gawthrop@users.sourceforge.net tags: origin/master, trunk
17:50:10
Changes to state rep - now has parameter check-in: 655e55a966 user: gawthrop@users.sourceforge.net tags: origin/master, trunk
Changes

Added mttroot/mtt/bin/trans/txt2tex version [18a439014a].













































1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
#! /bin/sh

     ###################################### 
     ##### Model Transformation Tools #####
     ######################################

# Bourne shell script: txt2tex

# Generic textual inclusion as verbatim tex.

# P.J.Gawthrop March 1998
# Copyright (c) P.J.Gawthrop, 1998.

###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
###############################################################

if [ -z "$3" ]; then
   echo Usage: txt2tex system representation language
   exit 1
fi
# Inform user
echo "Creating $1_$2.tex"

rm -f mtt_error

#Write some file headers
echo "%% Tex file ($1_$2.txt)" > $1_$2.tex
echo "%% Generated by MTT at `date`" >> $1_$2.tex

cat <<EOF        >> $1_$2.tex
\begin{verbatim}
EOF
cat $1_$2.$3     >> $1_$2.tex
cat<<EOF         >> $1_$2.tex
\end{verbatim}
EOF





MTT: Model Transformation Tools
GitHub | SourceHut | Sourceforge | Fossil RSS ]