Rev 8796 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 8796 | Rev 13310 | ||
---|---|---|---|
Line 1... | Line 1... | ||
1 | /* |
1 | /* |
2 | itex2MML 1.3.3 |
2 | itex2MML 1.3.3 |
- | 3 | website : https://golem.ph.utexas.edu/~distler/blog/itex2MML.html |
|
- | 4 | repository : https://golem.ph.utexas.edu/~distler/code/itexToMML/ |
|
- | 5 | ||
3 | renamed to "wims_mathml" |
6 | renamed to "wims_mathml" |
4 | Slightly modified for WIMS mathml usage 05/2012 |
7 | Slightly modified for WIMS mathml usage 05/2012 |
5 | J.M. Evers, B. Perrin-Riou |
8 | J.M. Evers, B. Perrin-Riou |
6 | 9 | ||
7 | */ |
10 | */ |
Line 70... | Line 73... | ||
70 | std::string args = argv[arg]; |
73 | std::string args = argv[arg]; |
71 | 74 | ||
72 | if (args == "--version" || args == "-v") |
75 | if (args == "--version" || args == "-v") |
73 | { |
76 | { |
74 | fputs("wims_mathml version " ITEX2MML_VERSION "\n" |
77 | fputs("wims_mathml version " ITEX2MML_VERSION "\n" |
75 | "See |
78 | "See https://golem.ph.utexas.edu/~distler/blog/itex2MML.html for more information.\n", stdout); |
76 | bStop = true; |
79 | bStop = true; |
77 | break; |
80 | break; |
78 | } |
81 | } |
79 | 82 | ||
80 | if (args == "--help" || args == "-h"){ |
83 | if (args == "--help" || args == "-h"){ |
Line 104... | Line 107... | ||
104 | " --mathml-id unique random id for every mathml string\n" |
107 | " --mathml-id unique random id for every mathml string\n" |
105 | " --tex-size base fontsize of the mathml string\n" |
108 | " --tex-size base fontsize of the mathml string\n" |
106 | " --max-mml-size wims maximum stringlength \n" |
109 | " --max-mml-size wims maximum stringlength \n" |
107 | " --tex-string the actual math string\n" |
110 | " --tex-string the actual math string\n" |
108 | "\n" |
111 | "\n" |
109 | "For further information, see |
112 | "For further information, see https://golem.ph.utexas.edu/~distler/blog/itex2MML.html\n", stdout); |
110 | bStop = true; |
113 | bStop = true; |
111 | break; |
114 | break; |
112 | } |
115 | } |
113 | if (args == "--print-itex"){ |
116 | if (args == "--print-itex"){ |
114 | bPrintItex = true; |
117 | bPrintItex = true; |