Rev 17065 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 17065 | Rev 17075 | ||
|---|---|---|---|
| Line 6... | Line 6... | ||
| 6 | insmath_rawmath=yes |
6 | insmath_rawmath=yes |
| 7 | wims_backslash_insmath=yes |
7 | wims_backslash_insmath=yes |
| 8 | htmlmath_gtlt=yes |
8 | htmlmath_gtlt=yes |
| 9 | proc_oef=yes |
9 | proc_oef=yes |
| 10 | !set oefenv_lang=$lang |
10 | !set oefenv_lang=$lang |
| 11 | !set modu_lang=$module_language |
- | |
| 12 | !readproc deduc/names |
11 | !readproc deduc/names |
| 13 | 12 | ||
| 14 | !read deduc/var.headers |
13 | !read deduc/var.headers |
| 15 | # Limit Pari precision, for otherwise many computations will fail. |
14 | # Limit Pari precision, for otherwise many computations will fail. |
| 16 | !default pari_precision=18 |
15 | !default pari_precision=18 |