]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2005-12-21 Enrico Tassifix
2005-12-21 Stefano Zacchiroliadded generic marshaller
2005-12-21 Enrico Tassifix
2005-12-21 Enrico Tassifix
2005-12-21 Enrico Tassifix
2005-12-21 Enrico Tassifix
2005-12-21 Enrico Tassifix
2005-12-21 Enrico Tassifix
2005-12-21 Enrico Tassifix
2005-12-21 Enrico Tassifix
2005-12-21 Enrico Tassifix
2005-12-21 Enrico Tassifix
2005-12-21 Enrico Tassifix
2005-12-21 Enrico Tassifix
2005-12-21 Enrico Tassifix
2005-12-21 Enrico Tassifix
2005-12-21 Enrico Tassifix
2005-12-21 Enrico Tassifix
2005-12-21 Enrico Tassifix
2005-12-21 Enrico Tassifix
2005-12-21 Enrico Tassifix
2005-12-21 Enrico Tassifix
2005-12-21 Stefano Zacchiroliold files
2005-12-21 Enrico Tassifix
2005-12-21 Enrico Tassifix
2005-12-21 Stefano Zacchiroliremoved old Makefile
2005-12-21 Enrico Tassifix
2005-12-21 Enrico Tassibench
2005-12-21 Enrico Tassi__ files are removed
2005-12-21 Enrico Tassino more "completed in ."
2005-12-21 Claudio Sacerdoti... Huge reorganization of matita and ocaml.
2005-12-21 Claudio Sacerdoti... Huge reorganization of matita and ocaml.
2005-12-21 Enrico Tassifixed cicbrowser.opt argv.(0)
2005-12-20 Stefano Zacchirolibugfix: typo which implied using the wrong pattern
2005-12-20 Enrico Tassiadded ocamldep.opt checking
2005-12-19 Andrea Aspertimoved term indexing (in both discrimination and path...
2005-12-19 Andrea AspertiDiscrimination and trie removed.
2005-12-19 Stefano Zacchiroliupgraded dependency figures
2005-12-19 Stefano Zacchiroliremoved spurious arrows from Matita
2005-12-19 Andrea Aspertiadded discrimination tree
2005-12-19 Andrea Aspertimoved trie data-structure
2005-12-19 Stefano Zacchirolilibraries-ext.ps generation (dep graph with daemons...
2005-12-16 Enrico Tassiregenerated
2005-12-15 marangonNew tactic: inversion.
2005-12-15 marangonNew tactic: inversion.
2005-12-15 marangon...
2005-12-15 marangonadded -I ../.. (for coq.ma)
2005-12-15 Stefano Zacchiroliignore generated images
2005-12-15 Stefano Zacchiroliadded htaccess
2005-12-14 Enrico Tassirm .depend
2005-12-14 Enrico Tassiadded -I../..
2005-12-13 Enrico Tassione more try
2005-12-13 Enrico Tassiaaaa
2005-12-13 Enrico Tassifix
2005-12-13 Enrico Tassi...
2005-12-13 Enrico Tassiadded ensure_path_exists to save_moo
2005-12-13 Enrico Tassifix
2005-12-13 Enrico Tassi...
2005-12-13 Enrico Tassifixed_names
2005-12-13 Enrico Tassifixed_names
2005-12-13 Alberto Griggioadded comment explaining the meaning of the return...
2005-12-13 Alberto Griggioadded comment explaining the meaning of the return...
2005-12-12 Stefano Zacchirolibugfix: tactic invocations from contextual menu no...
2005-12-12 Stefano Zacchiroliadded contextual menu to act over selected terms
2005-12-12 Stefano Zacchirolicoercion command now requires an uri
2005-12-12 Stefano Zacchiroliported to new types in grafite*/
2005-12-12 Stefano Zacchiroli- coercion now requires an URI
2005-12-12 Stefano Zacchiroliabstracted pretty printers over inner pretty printing...
2005-12-12 Stefano Zacchirolichanged pattern datatype:
2005-12-12 Stefano Zacchiroliadd to the ids_to_father_ids table entries from hypothe...
2005-12-12 Enrico Tassifix
2005-12-12 Enrico Tassifixed coercions
2005-12-12 Enrico Tassifixed undo support for coercions inside records
2005-12-12 Enrico Tassiconvert does not export xfc->png properly...
2005-12-12 Enrico Tassifix
2005-12-12 Enrico Tassifix
2005-12-12 Enrico Tassifix
2005-12-12 Enrico Tassiadded developers
2005-12-12 Enrico Tassifix
2005-12-12 Enrico Tassifix
2005-12-12 Enrico Tassifirst draft
2005-12-09 Claudio Sacerdoti... Bug fixed: errors of phase 7 were no longer printed :-)
2005-12-09 Claudio Sacerdoti... 1. useless code (undebrujin) removed from disambiguate.ml
2005-12-09 Stefano Zacchirolicommented out some debugging prints
2005-12-09 Stefano Zacchiroliimplemented copy/cut/paste/delete/pastePattern
2005-12-09 Enrico Tassificed include and -I
2005-12-07 Claudio Sacerdoti... More compact disambiguation errors.
2005-12-07 Claudio Sacerdoti... The last commit about coercions disactivated localizati...
2005-12-07 Enrico Tassisince the moo content is not OK... we need an hack.
2005-12-07 Enrico TassiBig commit to let Ferruccio try the merge_coercion...
2005-12-07 Enrico TassiBig commit to let Ferruccio try the merge_coercion...
2005-12-06 Stefano Zacchirolibugfixes:
2005-12-06 Andrea AspertiTypos.
2005-12-06 Andrea AspertiMinor changes.
2005-12-06 Andrea AspertiNaming convention.
2005-12-05 Alberto Griggiobetter output from main_demod_equalities
2005-12-05 Alberto Griggioadded function term_of_equality to re-build the Cic...
2005-12-05 Claudio Sacerdoti... eval_from_stream_greedy finally got rid of!
2005-12-05 Alberto Griggioremoved original equalities from the output of main_dem...
2005-12-05 Claudio Sacerdoti... 1. Several files in grafite that should be in grafite_p...
next