Overview
Comment: | Saved it. |
---|---|
Downloads: | Tarball | ZIP archive | SQL archive |
Timelines: | family | ancestors | descendants | both | origin/master | trunk |
Files: | files | file ages | folders |
SHA3-256: |
82704b919dc0b01dcb7161d4b1b5796c |
User & Date: | gawthrop@users.sourceforge.net on 1996-12-12 15:54:20 |
Other Links: | branch diff | manifest | tags |
Context
1996-12-12
| ||
15:59:06 | Generic handling of subscript for y,u,ui check-in: 8b6550d1f4 user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
15:54:20 | Saved it. check-in: 82704b919d user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
1996-12-10
| ||
16:52:29 |
Detect null string using strcmp, not length. Put filnum argument to mtt_info. check-in: 18b59159b9 user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
Changes
Modified mttroot/mtt/bin/trans/latex_tidy from [c06be1d84f] to [715be24964].
︙ | |||
10 11 12 13 14 15 16 17 18 19 20 21 22 23 | 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 | + + + + | # Copyright (c) P.J.Gawthrop, 1990, 1994 ############################################################### ## Version control history ############################################################### ## $Id$ ## $Log$ ## Revision 1.3 1996/08/30 14:36:46 peter ## Added some more subscripts. ## -- its high time this was rewritten in awk or perl!!! ## ## Revision 1.2 1996/08/19 14:35:51 peter ## Prettyfied z dot. ## ## Revision 1.1 1996/08/18 20:03:12 peter ## Initial revision ## ############################################################### |
︙ | |||
49 50 51 52 53 54 55 | 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 | - + - - - - - - - - - - + - + | -e "s/mttx6/x_6/g" \ -e "s/mttx7/x_7/g" \ -e "s/mttx8/x_8/g" \ -e "s/mttx9/x_9/g" \ -e "s/mttx10/x_{10}/g" \ -e "s/mttx11/x_{11}/g" \ -e "s/mttx12/x_{12}/g" \ |
︙ | |||
101 102 103 104 105 106 107 108 | 96 97 98 99 100 101 102 103 104 105 | + + | -e "s/+-/ -/g" |\ cat -s | \ sed -e "s/ $//g" | \ tr -s '\012' '\012' \ >junk mv junk $1 |