home *** CD-ROM | disk | FTP | other *** search
open in: 
MacOS 8.1
|
Win98
|
DOS
browse contents |
view JSON data
|
view as text
This file was processed as: LaTeX Document
(document/latex).
| Confidence | Program | Detection | Match Type | Support
|
|---|
| 100%
| dexvert
| LaTeX Document (document/latex)
| magic
| Supported |
| 1%
| dexvert
| NWiper Show (other/nWiperShow)
| ext
| Unsupported |
| 1%
| dexvert
| Text File (text/txt)
| fallback
| Supported |
| 100%
| file
| LaTeX document, ASCII text, with CR line terminators
| default
| |
| 100%
| checkBytes
| Printable ASCII
| default
| |
| 100%
| perlTextCheck
| Likely Text (Perl)
| default
| |
| 100%
| siegfried
| fmt/281 LaTeX (Subdocument)
| default
| |
| 100%
| detectItEasy
| Format: plain text[CR]
| default (weak)
|
|
| id metadata |
|---|
| key | value |
|---|
| macFileType | [TEXT] |
| macFileCreator | [MPS ] |
hex view+--------+-------------------------+-------------------------+--------+--------+
|00000000| 5c 73 65 63 74 69 6f 6e | 7b 46 69 6e 64 69 6e 67 |\section|{Finding|
|00000010| 20 7b 5c 73 6c 20 4d 61 | 74 68 65 6d 61 74 69 63 | {\sl Ma|thematic|
|00000020| 61 5c 2f 7d 20 64 65 66 | 69 6e 69 74 69 6f 6e 73 |a\/} def|initions|
|00000030| 7d 0d 0d 54 68 69 73 20 | 77 69 6c 6c 20 73 69 6d |}..This |will sim|
|00000040| 70 6c 79 20 72 65 63 6f | 67 6e 69 7a 65 20 64 65 |ply reco|gnize de|
|00000050| 66 69 6e 69 74 69 6f 6e | 73 20 6d 61 64 65 20 77 |finition|s made w|
|00000060| 69 74 68 20 60 60 3a 3d | 27 27 2e 0d 3c 3c 2a 3e |ith ``:=|''..<<*>|
|00000070| 3e 3d 0d 70 72 6f 63 65 | 64 75 72 65 20 6d 61 69 |>=.proce|dure mai|
|00000080| 6e 28 61 72 67 73 29 0d | 20 20 67 6f 28 29 0d 65 |n(args).| go().e|
|00000090| 6e 64 0d 3c 3c 2a 3e 3e | 3d 0d 70 72 6f 63 65 64 |nd.<<*>>|=.proced|
|000000a0| 75 72 65 20 70 6f 73 74 | 70 61 73 73 28 6e 61 6d |ure post|pass(nam|
|000000b0| 65 2c 20 61 72 67 29 0d | 20 20 73 74 61 74 69 63 |e, arg).| static|
|000000c0| 20 6b 69 6e 64 2c 20 73 | 0d 20 20 69 6e 69 74 69 | kind, s|. initi|
|000000d0| 61 6c 20 7b 6b 69 6e 64 | 20 3a 3d 20 22 62 6f 67 |al {kind| := "bog|
|000000e0| 75 73 22 3b 20 73 20 3a | 3d 20 26 6e 75 6c 6c 7d |us"; s :|= &null}|
|000000f0| 0d 20 20 63 61 73 65 20 | 6e 61 6d 65 20 6f 66 20 |. case |name of |
|00000100| 7b 0d 20 20 20 20 22 62 | 65 67 69 6e 22 20 3a 20 |{. "b|egin" : |
|00000110| 61 72 67 20 3f 20 6b 69 | 6e 64 20 3a 3d 20 74 61 |arg ? ki|nd := ta|
|00000120| 62 28 75 70 74 6f 28 27 | 20 27 29 7c 30 29 0d 20 |b(upto('| ')|0). |
|00000130| 20 20 20 22 74 65 78 74 | 22 20 3a 20 69 66 20 6b | "text|" : if k|
|00000140| 69 6e 64 20 3d 3d 20 22 | 63 6f 64 65 22 20 74 68 |ind == "|code" th|
|00000150| 65 6e 0d 20 20 20 20 20 | 20 20 61 72 67 20 3f 20 |en. | arg ? |
|00000160| 7b 73 20 3a 3d 20 74 61 | 62 28 66 69 6e 64 28 22 |{s := ta|b(find("|
|00000170| 3a 3d 22 29 29 0d 09 20 | 69 66 20 5c 73 20 74 68 |:=")).. |if \s th|
|00000180| 65 6e 0d 09 20 20 20 73 | 20 3f 20 7b 74 61 62 28 |en.. s| ? {tab(|
|00000190| 6d 61 6e 79 28 27 20 27 | 29 29 0d 09 09 77 72 69 |many(' '|))...wri|
|000001a0| 74 65 64 65 66 6e 28 74 | 61 62 28 6d 61 6e 79 28 |tedefn(t|ab(many(|
|000001b0| 26 6c 65 74 74 65 72 73 | 29 29 29 0d 09 09 73 20 |&letters|)))...s |
|000001c0| 3a 3d 20 26 6e 75 6c 6c | 0d 09 20 20 20 20 20 20 |:= &null|.. |
|000001d0| 20 7d 0d 20 20 20 20 20 | 20 20 7d 0d 20 20 7d 0d | }. | }. }.|
|000001e0| 20 20 72 65 74 75 72 6e | 0d 65 6e 64 0d 0d 70 72 | return|.end..pr|
|000001f0| 6f 63 65 64 75 72 65 20 | 70 72 65 70 61 73 73 28 |ocedure |prepass(|
|00000200| 6e 61 6d 65 2c 20 61 72 | 67 29 0d 20 20 69 66 20 |name, ar|g). if |
|00000210| 6e 61 6d 65 20 3d 3d 20 | 22 65 6e 64 22 20 74 68 |name == |"end" th|
|00000220| 65 6e 20 77 72 69 74 65 | 64 65 66 6e 28 26 6e 75 |en write|defn(&nu|
|00000230| 6c 6c 29 20 23 20 66 6f | 72 63 65 20 6e 65 77 6c |ll) # fo|rce newl|
|00000240| 69 6e 65 0d 65 6e 64 0d | |ine.end.| |
+--------+-------------------------+-------------------------+--------+--------+
