]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/matitaMathView.ml
1) the home button of CicBrowser now works also for NG
[helm.git] / helm / software / matita / matitaMathView.ml
2009-06-05 Claudio Sacerdoti... 1) the home button of CicBrowser now works also for NG
2009-06-03 Claudio Sacerdoti... Huge commit with several changes:
2009-04-09 Claudio Sacerdoti... + Chain NCic.term -> content -> presentation very...
2009-02-09 Enrico Tassib:action are now considered as m:maction and thus are...
2009-01-26 Enrico Tassimaction support added to notation, adopted for = AKA...
2008-12-19 Enrico Tassibetter pp of virtuals
2008-12-06 Enrico Tassinew concept of virtuals, defined only in the gui that...
2008-11-22 Enrico Tassiprint an error message if graphviz is not found
2008-11-20 Enrico Tassireverted
2008-11-20 Enrico Tassidama into the library
2008-09-26 Enrico Tassilazy proof term to increase sharing and decrease memory...
2008-07-23 Enrico Tassi0.5.3
2008-07-23 Enrico Tassifixed some GUI glitches
2008-07-23 Enrico Tassiuniverses in CicBrowser
2008-03-10 Claudio Sacerdoti... Tactic reduce got rid of. Use normalize, instead.
2008-01-10 Enrico TassiBIG FAT WARNING: DEVELOPMENTS DIE HERE
2007-12-02 Claudio Sacerdoti... Forward compatibility with new lablgtk2.
2007-11-16 Enrico Tassihidded all hbugs related stuff
2007-10-28 Claudio Sacerdoti... Bug fixed: patterns in hypotheses under binders where...
2007-10-28 Claudio Sacerdoti... Pretty-printing of "match ... with" pattern syntax...
2007-07-19 Claudio Sacerdoti... map_unicode_to_tex is no longer optional and it always...
2007-07-06 Enrico Tassimaxipatch for support of multiple DBs.
2007-05-17 Enrico Tassiadded a (for the moment) dummy field _subst to Proofeng...
2007-04-20 Claudio Sacerdoti... Much ado about nothing:
2007-02-09 Stefano ZacchiroliAdded toggle for enabling/disabling the conversion...
2007-01-10 Ferruccio Guidiattributes now in the proof status: commit 1
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/