]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/mathml_editor/.log
added annotations to Cic.Implicit
[helm.git] / helm / DEVEL / mathml_editor / .log
1 This is TeX, Version 3.14159 (Web2C 7.3.7) (format=tex 2002.8.9)  23 NOV 2002 18:34
2 **$$\root 3 \of x+1$$
3 (/usr/share/texmf/tex/latex/tools/.tex File ignored)
4 ! Missing $ inserted.
5 <inserted text> 
6                 $
7 <to be read again> 
8                    \mathchoice 
9 \mathpalette #1#2->\mathchoice 
10                                {#1\displaystyle {#2}}{#1\textstyle {#2}}{#1\...
11 <*> $$\root 3 \of x
12                    +1$$
13
14
15 *
16 ! Emergency stop.
17 <*> $$\root 3 \of x+1$$
18                        
19 End of file on the terminal!
20
21 No pages of output.