]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml
paramodulation now compiles with ocaml 3.09 in opt mode (added -for-pack)
[helm.git] / helm / ocaml /
2006-01-09 Claudio Sacerdoti... paramodulation now compiles with ocaml 3.09 in opt...
2006-01-09 Claudio Sacerdoti... Bug fixed in computation of the domain of records with...
2006-01-09 Stefano Zacchiroliavoid writing in read only baseuris
2006-01-09 Stefano Zacchirolibumped year
2006-01-09 Stefano Zacchiroliadded support for repository attributes
2006-01-09 Stefano Zacchiroliadded sample entries with attributes
2006-01-09 Andrea AspertiOld compare-terms function
2006-01-09 Andrea Aspertiremoved debugging printing
2006-01-09 Andrea Aspertiignoring the result of load_notation
2006-01-09 Claudio Sacerdoti... $Id$ readded to paramodulation/utils.ml
2006-01-09 Andrea AspertiAdded a parameter (empty list) to load_notation.
2006-01-09 Andrea AspertiNew version of compare_weights.
2006-01-08 Claudio Sacerdoti... Bug fixed: macros in the middle of a goto cursor or...
2006-01-08 Claudio Sacerdoti... Added $Id$ to every .ml file.
2006-01-08 Claudio Sacerdoti... Added $Id$ to the file.
2006-01-08 Claudio Sacerdoti... .cvsignore files removed (the svn:property property...
2006-01-08 Claudio Sacerdoti... 1. Macros are now handled using an execption that is...
2005-12-23 Stefano Zacchiroliminor fixes (-nodb works again)
2005-12-21 Stefano Zacchirolireimplemented specific marshallars on top of generic...
2005-12-21 Stefano Zacchiroliadded generic marshaller
2005-12-21 Stefano Zacchiroliold files
2005-12-21 Stefano Zacchiroliremoved old Makefile
2005-12-21 Claudio Sacerdoti... Huge reorganization of matita and ocaml.
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 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-13 Enrico Tassiadded ensure_path_exists to save_moo
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 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 Tassifixed undo support for coercions inside records
2005-12-09 Claudio Sacerdoti... 1. useless code (undebrujin) removed from disambiguate.ml
2005-12-07 Claudio Sacerdoti... The last commit about coercions disactivated localizati...
2005-12-07 Enrico TassiBig commit to let Ferruccio try the merge_coercion...
2005-12-06 Stefano Zacchirolibugfixes:
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 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...
2005-12-05 Alberto Griggioremoved some debug messages
2005-12-05 Alberto Griggioadded function saturate_equations that tries to infer...
2005-12-05 Stefano Zacchiroliremoved from repository spurious object files
2005-12-03 Claudio Sacerdoti... 1. metadata are no longer stored in .moo files.
2005-12-02 Stefano Zacchirolimoved (and hence exported) uri rehashing functions...
2005-12-02 Claudio Sacerdoti... 1. matitaEngine splitted into disambiguation (now in...
2005-11-30 Enrico Tassiit may happen that matitaclean (clean_baseuris) calls...
2005-11-30 Claudio Sacerdoti... moved coercion to library (work in progress)
2005-11-30 Claudio Sacerdoti... coercGraph.ml* moved from cic_unification to library
2005-11-30 Claudio Sacerdoti... Terms parsed by notations were not localized.
2005-11-30 Claudio Sacerdoti... Generation of auxiliary lemmas for inductive types...
2005-11-29 Claudio Sacerdoti... * Part of matita that used to deal with the library...
2005-11-28 Claudio Sacerdoti... * More error messages localized.
2005-11-28 Claudio Sacerdoti... More errors localized.
2005-11-28 Claudio Sacerdoti... More error messages localized.
2005-11-28 Claudio Sacerdoti... More aggressive politic for non localized terms: an...
2005-11-28 Claudio Sacerdoti... DisambiguationError exceptions (that have locations...
2005-11-28 Claudio Sacerdoti... 1. Bug fixed: compilation of "let corec" to a simple...
2005-11-27 Stefano Zacchiroliremoved deadcode / fixed typos (thanks to ocaml 3.09)
2005-11-27 Stefano Zacchirolicrosso compatibility patch which enable building both...
2005-11-26 Claudio Sacerdoti... * wrong comments removed
2005-11-26 Claudio Sacerdoti... Refinement bug fixed. The outtype was not refined if...
2005-11-26 Claudio Sacerdoti... Debugging code removed.
2005-11-26 Claudio Sacerdoti... Bug fixed: an unrefined term was passed around while...
2005-11-26 Claudio Sacerdoti... Experimental localization of errors during refinement...
2005-11-26 Claudio Sacerdoti... Module CicHash (hash-tables over CIC terms based on...
2005-11-25 Claudio Sacerdoti... Non exhaustive match fixed.
2005-11-25 Stefano Zacchirolibugfix: removed unneeded No_choices exception
2005-11-25 Stefano Zacchirolichanged META dependency
2005-11-25 Claudio Sacerdoti... Unused file removed.
2005-11-24 Stefano ZacchiroliReshaped structure of ocaml/ libraries.
2005-11-24 Stefano Zacchirolisplit non-logic level of whelp away from metadataQuery...
2005-11-24 Stefano Zacchiroliremoved the need of REQUIRES in libraries Makefile...
2005-11-24 Stefano Zacchirolibugfix: libraries.ps works again
2005-11-24 Stefano Zacchiroliprose
2005-11-24 Stefano Zacchiroliminimal introduction
2005-11-23 Claudio Sacerdoti... * New implementation of localized exceptions
2005-11-22 Stefano Zacchiroli- more resilient to proof checking failures during...
2005-11-22 Stefano Zacchirolisupport pretty printing of Cic.Implicit
2005-11-22 Stefano Zacchirolibugfix: return unshared sequent when applying cic ...
2005-11-22 Claudio Sacerdoti... Debugging code commented out.
2005-11-22 Claudio Sacerdoti... "Localization" of error messages for eat_prods and...
2005-11-22 Claudio Sacerdoti... Less verbose error messages.
2005-11-21 Claudio Sacerdoti... Invariant no longer true (since when?)
2005-11-21 Claudio Sacerdoti... More informative error messages.
2005-11-21 Stefano Zacchirolisplit body away to ease inclusion from elsewhere
2005-11-21 Stefano Zacchirolisplit to easy inclusion
2005-11-21 Stefano Zacchirolitypo
2005-11-21 Stefano Zacchirolifixed URI regexp so that URIs containing '-' are allowed
2005-11-19 Claudio Sacerdoti... "let rec f = ... in f l" used to be compiled incorrectly
next