| / InfoMagic Source Code 1993 July
/ THE_SOURCE_CODE_CD_ROM.iso / languages / elisp / packages / LaTeXinfo.shar.2 / praxis.sty
| < prev | next > |
| LaTeX Document | 1990-07-22 | 1.8 KB |
MacOS 8.1
|
Win98
|
DOS
browse contents |
view JSON data
|
view as text| Confidence | Program | Detection | Match Type | Support |
|---|---|---|---|---|
| 100% | dexvert | LaTeX Document (document/latex) | magic | Supported |
| 1% | dexvert | DirectMusic Style (music/directMusicStyle) | ext | Unsupported |
| 1% | dexvert | Labeler/Labels Unlimited Style (other/labelerStyle) | ext | Unsupported |
| 1% | dexvert | LithTech engine sound Style (other/lithTechEngineSoundStyle) | ext | Unsupported |
| 1% | dexvert | Microsoft Word Style Sheet (other/microsoftWordStyleSheet) | ext | Unsupported |
| 1% | dexvert | Stanford Graphics Style master (other/stanfordGraphicsStyleMaster) | ext | Unsupported |
| 1% | dexvert | Beyond Words Composer Style (other/beyondWordsComposerStyle) | ext | Unsupported |
| 1% | dexvert | Grand Theft Auto 2 Style data (other/grandTheftAuto2StyleData) | ext | Unsupported |
| 1% | dexvert | KORG File (other/korgFile) | ext | Unsupported |
| 1% | dexvert | MAGIX music studio Style (other/magixMusicStudioStyle) | ext | Unsupported |
| 1% | dexvert | RIO Scene (other/rioScene) | ext | Unsupported |
| 1% | dexvert | Text File (text/txt) | fallback | Supported |
| 100% | file | LaTeX document text | default | |
| 99% | file | LaTeX document, ASCII text | default | |
| 100% | checkBytes | Printable ASCII | default | |
| 100% | perlTextCheck | Likely Text (Perl) | default | |
| 100% | siegfried | fmt/281 LaTeX (Subdocument) | default | |
| 100% | detectItEasy | Format: Plain text[LF] | default |
+--------+-------------------------+-------------------------+--------+--------+
|00000000| 5c 64 65 66 5c 50 72 61 | 78 69 73 7b 7b 5c 62 66 |\def\Pra|xis{{\bf|
|00000010| 20 50 72 61 78 69 73 7d | 7d 0a 5c 64 65 66 5c 50 | Praxis}|}.\def\P|
|00000020| 72 61 78 69 6d 61 7b 7b | 5c 62 66 20 50 72 61 78 |raxima{{|\bf Prax|
|00000030| 69 6d 61 7d 7d 0a 5c 64 | 65 66 5c 4d 61 63 73 79 |ima}}.\d|ef\Macsy|
|00000040| 6d 61 7b 7b 5c 62 66 20 | 4d 61 63 73 79 6d 61 7d |ma{{\bf |Macsyma}|
|00000050| 7d 0a 0a 25 5c 64 65 66 | 5c 70 63 70 23 31 7b 5c |}..%\def|\pcp#1{\|
|00000060| 6d 61 72 67 69 6e 70 61 | 72 7b 7b 5c 73 63 72 69 |marginpa|r{{\scri|
|00000070| 70 74 73 69 7a 65 20 23 | 31 7d 7d 5c 6b 79 69 6e |ptsize #|1}}\kyin|
|00000080| 64 65 78 7b 23 31 7d 7d | 0a 5c 64 65 66 5c 70 63 |dex{#1}}|.\def\pc|
|00000090| 70 23 31 7b 5c 6b 79 69 | 6e 64 65 78 7b 23 31 7d |p#1{\kyi|ndex{#1}|
|000000a0| 7d 0a 0a 5c 64 65 66 5c | 50 43 7b 7b 5c 62 66 20 |}..\def\|PC{{\bf |
|000000b0| 50 65 72 73 6f 6e 61 6c | 20 43 6f 6e 73 75 6c 74 |Personal| Consult|
|000000c0| 61 6e 74 7d 7d 0a 5c 64 | 65 66 5c 50 43 45 53 7b |ant}}.\d|ef\PCES{|
|000000d0| 7b 5c 62 66 20 50 65 72 | 73 6f 6e 61 6c 20 43 6f |{\bf Per|sonal Co|
|000000e0| 6e 73 75 6c 74 61 6e 74 | 20 45 78 70 65 72 74 20 |nsultant| Expert |
|000000f0| 53 79 73 74 65 6d 7d 7d | 0a 0a 5c 73 65 74 6c 65 |System}}|..\setle|
|00000100| 6e 67 74 68 7b 5c 75 6e | 69 74 6c 65 6e 67 74 68 |ngth{\un|itlength|
|00000110| 7d 7b 31 69 6e 7d 0a 0a | 5c 6e 65 77 69 66 5c 69 |}{1in}..|\newif\i|
|00000120| 66 40 70 72 61 78 69 6d | 61 09 5c 40 70 72 61 78 |f@praxim|a.\@prax|
|00000130| 69 6d 61 66 61 6c 73 65 | 0a 5c 64 65 66 5c 69 66 |imafalse|.\def\if|
|00000140| 70 72 61 78 69 6d 61 7b | 5c 40 6d 65 6e 75 5c 40 |praxima{|\@menu\@|
|00000150| 78 69 66 70 72 61 78 69 | 6d 61 20 7d 0a 5c 6c 65 |xifpraxi|ma }.\le|
|00000160| 74 5c 65 6e 64 69 66 70 | 72 61 78 69 6d 61 3d 5c |t\endifp|raxima=\|
|00000170| 65 6e 64 67 72 6f 75 70 | 0a 0a 5c 62 65 67 69 6e |endgroup|..\begin|
|00000180| 67 72 6f 75 70 20 5c 63 | 61 74 63 6f 64 65 20 60 |group \c|atcode `|
|00000190| 7c 3d 30 20 5c 63 61 74 | 63 6f 64 65 20 60 5b 3d ||=0 \cat|code `[=|
|000001a0| 20 31 0a 5c 63 61 74 63 | 6f 64 65 60 5d 3d 32 20 | 1.\catc|ode`]=2 |
|000001b0| 5c 63 61 74 63 6f 64 65 | 20 60 5c 7b 3d 31 32 20 |\catcode| `\{=12 |
|000001c0| 5c 63 61 74 63 6f 64 65 | 20 60 5c 7d 3d 31 32 0a |\catcode| `\}=12.|
|000001d0| 5c 63 61 74 63 6f 64 65 | 60 5c 5c 3d 31 32 20 0a |\catcode|`\\=12 .|
|000001e0| 7c 67 64 65 66 7c 40 78 | 69 66 70 72 61 78 69 6d ||gdef|@x|ifpraxim|
|000001f0| 61 23 31 5c 65 6e 64 7b | 69 66 70 72 61 78 69 6d |a#1\end{|ifpraxim|
|00000200| 61 7d 5b 7c 65 6e 64 5b | 69 66 70 72 61 78 69 6d |a}[|end[|ifpraxim|
|00000210| 61 5d 5d 0a 7c 65 6e 64 | 67 72 6f 75 70 0a 0a 5c |a]].|end|group..\|
|00000220| 64 65 66 5c 70 72 61 78 | 69 6d 61 7b 5c 40 70 72 |def\prax|ima{\@pr|
|00000230| 61 78 69 6d 61 74 72 75 | 65 0a 09 5c 67 6c 6f 62 |aximatru|e..\glob|
|00000240| 61 6c 5c 64 65 66 5c 69 | 66 70 72 61 78 69 6d 61 |al\def\i|fpraxima|
|00000250| 7b 7d 0a 09 5c 67 6c 6f | 62 61 6c 5c 64 65 66 5c |{}..\glo|bal\def\|
|00000260| 65 6e 64 69 66 70 72 61 | 78 69 6d 61 7b 7d 0a 09 |endifpra|xima{}..|
|00000270| 7d 0a 0a 5c 64 65 66 5c | 62 6f 78 65 64 7b 0a 5c |}..\def\|boxed{.\|
|00000280| 6e 6f 69 6e 64 65 6e 74 | 5c 69 66 40 70 72 61 78 |noindent|\if@prax|
|00000290| 69 6d 61 20 54 68 65 20 | 6d 65 6e 75 20 61 73 6b |ima The |menu ask|
|000002a0| 73 20 74 68 65 20 71 75 | 65 73 74 69 6f 6e 3a 5c |s the qu|estion:\|
|000002b0| 65 6c 73 65 0a 54 68 65 | 20 71 75 65 73 74 69 6f |else.The| questio|
|000002c0| 6e 20 74 68 61 74 20 74 | 68 69 73 20 73 65 63 74 |n that t|his sect|
|000002d0| 69 6f 6e 20 61 64 64 72 | 65 73 73 65 73 20 69 73 |ion addr|esses is|
|000002e0| 3a 5c 66 69 5c 70 61 72 | 0a 5c 6e 6f 69 6e 64 65 |:\fi\par|.\noinde|
|000002f0| 6e 74 5c 72 75 6c 65 7b | 5c 74 65 78 74 77 69 64 |nt\rule{|\textwid|
|00000300| 74 68 7d 7b 31 6d 6d 7d | 0a 09 5c 62 65 67 69 6e |th}{1mm}|..\begin|
|00000310| 7b 65 78 61 6d 70 6c 65 | 7d 7d 0a 5c 64 65 66 5c |{example|}}.\def\|
|00000320| 65 6e 64 62 6f 78 65 64 | 7b 0a 09 5c 65 6e 64 7b |endboxed|{..\end{|
|00000330| 65 78 61 6d 70 6c 65 7d | 5c 6e 6f 69 6e 64 65 6e |example}|\noinden|
|00000340| 74 5c 72 75 6c 65 7b 5c | 74 65 78 74 77 69 64 74 |t\rule{\|textwidt|
|00000350| 68 7d 7b 31 6d 6d 7d 0a | 09 5c 70 61 72 5c 6e 6f |h}{1mm}.|.\par\no|
|00000360| 69 6e 64 65 6e 74 5c 69 | 66 40 70 72 61 78 69 6d |indent\i|f@praxim|
|00000370| 61 20 54 68 65 20 63 68 | 6f 69 63 65 73 20 61 72 |a The ch|oices ar|
|00000380| 65 3a 5c 65 6c 73 65 0a | 09 09 09 54 68 65 20 70 |e:\else.|...The p|
|00000390| 6f 73 73 69 62 69 6c 69 | 74 69 65 73 20 61 72 65 |ossibili|ties are|
|000003a0| 3a 5c 66 69 7d 0a 0a 25 | 20 4d 61 6b 65 20 74 68 |:\fi}..%| Make th|
|000003b0| 65 20 76 65 72 62 61 74 | 69 6d 20 61 6e 64 20 65 |e verbat|im and e|
|000003c0| 78 61 6d 70 6c 65 20 65 | 6e 76 69 72 6f 6e 6d 65 |xample e|nvironme|
|000003d0| 6e 74 73 20 75 73 65 20 | 73 6d 61 6c 6c 20 74 74 |nts use |small tt|
|000003e0| 2e 0a 5c 64 65 66 5c 40 | 76 65 72 62 61 74 69 6d |..\def\@|verbatim|
|000003f0| 7b 5c 74 72 69 76 6c 69 | 73 74 20 5c 69 74 65 6d |{\trivli|st \item|
|00000400| 5b 5d 5c 69 66 40 6d 69 | 6e 69 70 61 67 65 5c 65 |[]\if@mi|nipage\e|
|00000410| 6c 73 65 5c 76 73 6b 69 | 70 5c 70 61 72 73 6b 69 |lse\vski|p\parski|
|00000420| 70 5c 66 69 0a 5c 6c 65 | 66 74 73 6b 69 70 5c 40 |p\fi.\le|ftskip\@|
|00000430| 74 6f 74 61 6c 6c 65 66 | 74 6d 61 72 67 69 6e 5c |totallef|tmargin\|
|00000440| 72 69 67 68 74 73 6b 69 | 70 5c 7a 40 0a 5c 70 61 |rightski|p\z@.\pa|
|00000450| 72 69 6e 64 65 6e 74 5c | 7a 40 5c 70 61 72 66 69 |rindent\|z@\parfi|
|00000460| 6c 6c 73 6b 69 70 5c 40 | 66 6c 75 73 68 67 6c 75 |llskip\@|flushglu|
|00000470| 65 5c 70 61 72 73 6b 69 | 70 5c 7a 40 0a 5c 40 74 |e\parski|p\z@.\@t|
|00000480| 65 6d 70 73 77 61 66 61 | 6c 73 65 20 5c 64 65 66 |empswafa|lse \def|
|00000490| 5c 70 61 72 7b 5c 69 66 | 40 74 65 6d 70 73 77 61 |\par{\if|@tempswa|
|000004a0| 5c 68 62 6f 78 7b 7d 5c | 66 69 5c 40 74 65 6d 70 |\hbox{}\|fi\@temp|
|000004b0| 73 77 61 74 72 75 65 5c | 40 40 70 61 72 7d 0a 5c |swatrue\|@@par}.\|
|000004c0| 6f 62 65 79 6c 69 6e 65 | 73 20 5c 74 74 5c 73 6d |obeyline|s \tt\sm|
|000004d0| 61 6c 6c 5c 74 74 20 5c | 63 61 74 63 6f 64 65 60 |all\tt \|catcode`|
|000004e0| 60 3d 31 33 20 5c 40 6e | 6f 6c 69 67 73 20 5c 6c |`=13 \@n|oligs \l|
|000004f0| 65 74 5c 64 6f 5c 40 6d | 61 6b 65 6f 74 68 65 72 |et\do\@m|akeother|
|00000500| 20 5c 64 6f 73 70 65 63 | 69 61 6c 73 7d 0a 0a 5c | \dospec|ials}..\|
|00000510| 72 65 6e 65 77 65 6e 76 | 69 72 6f 6e 6d 65 6e 74 |renewenv|ironment|
|00000520| 7b 65 78 61 6d 70 6c 65 | 7d 7b 5c 61 62 6f 76 65 |{example|}{\above|
|00000530| 65 6e 76 62 72 65 61 6b | 0a 09 5c 68 66 75 7a 7a |envbreak|..\hfuzz|
|00000540| 3d 31 32 74 72 75 65 70 | 74 20 25 20 44 6f 6e 27 |=12truep|t % Don'|
|00000550| 74 20 62 65 20 66 75 73 | 73 79 0a 09 5c 73 65 70 |t be fus|sy..\sep|
|00000560| 73 70 61 63 65 73 20 25 | 20 4d 61 6b 65 20 73 70 |spaces %| Make sp|
|00000570| 61 63 65 73 20 62 65 20 | 77 6f 72 64 2d 73 65 70 |aces be |word-sep|
|00000580| 61 72 61 74 6f 72 73 20 | 72 61 74 68 65 72 20 74 |arators |rather t|
|00000590| 68 61 6e 20 73 70 61 63 | 65 20 74 6f 6b 65 6e 73 |han spac|e tokens|
|000005a0| 2e 0a 09 5c 73 69 6e 67 | 6c 65 73 70 61 63 65 20 |...\sing|lespace |
|000005b0| 25 20 53 69 6e 67 6c 65 | 20 73 70 61 63 65 20 6c |% Single| space l|
|000005c0| 69 6e 65 73 0a 09 25 20 | 54 68 65 20 66 6f 6c 6c |ines..% |The foll|
|000005d0| 6f 77 69 6e 67 20 63 61 | 75 73 65 73 20 62 6c 61 |owing ca|uses bla|
|000005e0| 6e 6b 20 6c 69 6e 65 73 | 20 6e 6f 74 20 74 6f 20 |nk lines| not to |
|000005f0| 62 65 20 69 67 6e 6f 72 | 65 64 0a 09 25 20 62 79 |be ignor|ed..% by|
|00000600| 20 61 64 64 69 6e 67 20 | 61 20 73 70 61 63 65 20 | adding |a space |
|00000610| 74 6f 20 74 68 65 20 65 | 6e 64 20 6f 66 20 65 61 |to the e|nd of ea|
|00000620| 63 68 20 6c 69 6e 65 2e | 0a 09 5c 6c 65 74 5c 70 |ch line.|..\let\p|
|00000630| 61 72 3d 5c 6c 69 73 70 | 70 61 72 0a 09 5c 70 61 |ar=\lisp|par..\pa|
|00000640| 72 73 6b 69 70 3d 30 70 | 74 20 5c 61 64 76 61 6e |rskip=0p|t \advan|
|00000650| 63 65 20 5c 72 69 67 68 | 74 73 6b 69 70 20 62 79 |ce \righ|tskip by|
|00000660| 20 5c 6c 69 73 70 6e 61 | 72 72 6f 77 69 6e 67 20 | \lispna|rrowing |
|00000670| 0a 09 5c 61 64 76 61 6e | 63 65 20 5c 6c 65 66 74 |..\advan|ce \left|
|00000680| 73 6b 69 70 20 62 79 20 | 5c 6c 69 73 70 6e 61 72 |skip by |\lispnar|
|00000690| 72 6f 77 69 6e 67 0a 09 | 5c 70 61 72 69 6e 64 65 |rowing..|\parinde|
|000006a0| 6e 74 3d 30 70 74 0a 09 | 5c 6c 65 74 5c 65 78 64 |nt=0pt..|\let\exd|
|000006b0| 65 6e 74 3d 5c 69 6e 74 | 65 72 6e 61 6c 65 78 64 |ent=\int|ernalexd|
|000006c0| 65 6e 74 0a 09 5c 6f 62 | 65 79 73 70 61 63 65 73 |ent..\ob|eyspaces|
|000006d0| 20 5c 6f 62 65 79 6c 69 | 6e 65 73 20 5c 74 74 5c | \obeyli|nes \tt\|
|000006e0| 73 6d 61 6c 6c 5c 74 74 | 20 5c 72 61 77 62 61 63 |small\tt| \rawbac|
|000006f0| 6b 73 6c 61 73 68 20 5c | 62 67 72 6f 75 70 5c 73 |kslash \|bgroup\s|
|00000700| 61 6d 65 70 61 67 65 0a | 09 09 5c 64 65 66 5c 6e |amepage.|..\def\n|
|00000710| 65 78 74 23 23 31 7b 7d | 5c 6e 65 78 74 7d 7b 5c |ext##1{}|\next}{\|
|00000720| 65 67 72 6f 75 70 5c 61 | 66 74 65 72 65 6e 76 62 |egroup\a|fterenvb|
|00000730| 72 65 61 6b 7d 0a 0a 0a | |reak}...| |
+--------+-------------------------+-------------------------+--------+--------+