]> matita.cs.unibo.it Git - helm.git/history - helm/gTopLevel/termViewer.ml
snapshort
[helm.git] / helm / gTopLevel / termViewer.ml
2005-02-03 Enrico Tassiremoved uri parameter from load_proof
2005-01-21 Enrico Tassi- sync with the new ApplyTransformation API
2005-01-20 Stefano Zacchirolihelmns -> helm_ns
2004-11-29 Stefano Zacchiroliremoved old debugging prints
2004-11-03 Stefano Zacchirolino longer use Dbi module but directly use Mysql module...
2004-10-22 Stefano Zacchiroliignore boolean returned by saveDocument
2004-10-14 Claudio Sacerdoti... Luca (bugged) debugging stuff removed.
2004-09-28 Luca Padovani* minor correction to make the new mathml widget work...
2004-09-09 Stefano Zacchiroliported to latest lablgtkmathview
2004-04-29 Stefano Zacchiroli- moved applyTransformation initialization code to...
2004-01-22 Stefano Zacchiroliabstracted over which transformer gTopLevel uses (ocaml...
2004-01-22 Andrea AspertiNow applying ocaml transformations to sequents as well.
2003-12-02 Ferruccio Guidisort CProp added
2003-10-29 Luca Padovani* this implements the new instantiation for gtkmathview
2003-09-07 Stefano Zacchirolicommented out gtkmathview's font_size override
2003-07-22 Andrea Asperti"Final" commit that patches termViewer while still...
2003-07-22 Andrea AspertiPrevious commit was erroneous and dit not compile.
2003-07-22 Claudio Sacerdoti... Debugging code inserted bug in the code ;-)
2003-07-22 Claudio Sacerdoti... XmlDiff-ing of DOM trees implemented.
2003-07-18 Andrea AspertiCSC: tentative definition of the ocaml structure that...
2003-07-16 Claudio Sacerdoti... Xml.token is now namespace-aware. As a consequence...
2003-07-16 Andrea AspertiSeveral changes (the beginning of a new era???)
2003-06-30 Claudio Sacerdoti... - default font size of the proof window lowered to 10
2003-06-19 Claudio Sacerdoti... Merge of the V7_3_new_exportation branch.