Removing all the code related to Thot associated elements. Rename the Thot boolean into ThotBool to avoid conflicts with jpeg includes. Preparing Amaya to I18N. Ramzi. Optimize the Thot formatter.
Integrals have now a variable height.
This form allows you to request diff's between any two revisions of a file. You may select a symbolic revision name using the selection box or you may type in a numeric name using the type-in text box.