]> matita.cs.unibo.it Git - logicplayer.git/blob - public_html/esercizi/test.xml
Dirty hack to improve size computation for hypotheses.
[logicplayer.git] / public_html / esercizi / test.xml
1 <esercizio>
2         <ipotesi>
3         </ipotesi>
4         <tesi>
5                 <formula type="atomic">top</formula>
6         </tesi>
7         <valutazione>
8                 <click>1</click>
9                 <tempo>5</tempo>
10                 <altezza>1</altezza>
11         </valutazione>
12 </esercizio>