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 |