]> matita.cs.unibo.it Git - helm.git/history - matita/matitaMathView.ml
Yet another localization error in eat_prods fixed.
[helm.git] / matita / matitaMathView.ml
2006-11-25 Enrico Tassiadded a test for the pullback stuff and the possibility...
2006-11-03 Stefano Zacchirolipreliminary support for hbugs
2006-10-03 Claudio Sacerdoti... sequent_viewer.xml & co are now generated in /tmp if...
2006-09-21 Stefano Zacchiroliadded displaying of the dep graph of a development...
2006-09-04 Enrico TassiBIG FAT COMMIT REGARDING COERCIONS:
2006-07-19 Stefano Zacchiroli- added to the cicBrowser support for displaying recurs...
2006-07-12 Stefano Zacchiroliuse lablGraphviz to render the coercion graph and added...
2006-07-12 Stefano Zacchirolirestored the 2 ways of pasting: both "as term" and...
2006-07-10 Enrico Tassi- cheanges for the new coercion stuff (including the...
2006-04-16 Claudio Sacerdoti... Bug fixed: "paste as pattern" now pastes the full patte...
2006-04-15 Claudio Sacerdoti... Patch to avoid double execution of whelp queries revert...
2006-04-13 Enrico Tassi-debug should work better
2006-04-12 Enrico Tassiwhelp locate now accepts * and ?
2006-04-12 Enrico Tassisome fixes for whelp macros (concerning pprint...)
2006-03-21 Stefano Zacchirolimock-up code for tactics contextual menu in the gui
2006-03-08 Stefano Zacchiroliuse the statusbar to display hyperlink targets
2006-03-07 Stefano Zacchirolihand-like cursor when the cursor is on an href in a...
2006-03-07 Stefano Zacchiroli- added an hack to load sequents viewer's mathml from...
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/