]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml
s/List.find.../CicUtil.lookup_meta/
[helm.git] / helm / ocaml /
2004-01-27 Stefano Zacchirolis/List.find.../CicUtil.lookup_meta/
2004-01-27 Stefano Zacchiroliadded CicUtil module with just lookup_meta function
2004-01-27 Ferruccio Guidiempty goal patched
2004-01-27 Ferruccio Guidiopt goal fixed
2004-01-27 Andrea Aspertitest for empty string given, if so return Environment...
2004-01-27 Stefano Zacchirolihelm registry's META
2004-01-27 Stefano Zacchirolihelm registry --- first release
2004-01-27 Stefano Zacchirolisample aliases language
2004-01-26 Andrea AspertiNotation for Case revisited and completed.
2004-01-26 Stefano Zacchiroliraise proper exception when a regexp fails on term_of_uri
2004-01-24 Stefano Zacchiroli- factorized DisambiguateChoices module
2004-01-24 Stefano Zacchirolioptionalizide some class parameters
2004-01-24 Stefano Zacchirolinew configure.ac with support for compile time configur...
2004-01-24 Stefano Zacchirolisplit a term0 rule for dinamycally change top-level...
2004-01-24 Stefano Zacchirolicollapsed parens in a singol token
2004-01-24 Stefano Zacchiroliadded tex notation
2004-01-24 Stefano Zacchirolitex notation for compatibility with texTermEditor
2004-01-23 Stefano Zacchiroliported to new module names
2004-01-23 Stefano Zacchirolihandle Cic.Anonymous
2004-01-23 Stefano Zacchirolirenamed modules so that they are more consistent with...
2004-01-23 Stefano Zacchiroliimplemented interface for gTopLevel
2004-01-23 Stefano Zacchirolimoved term_of_uri in cic/
2004-01-23 Stefano Zacchirolimoved here term_of_uri
2004-01-23 Stefano Zacchirolibetter comment for kernel wrappers
2004-01-23 Stefano Zacchirolia better error message
2004-01-23 Stefano Zacchiroliremoved useless -thread switch
2004-01-22 Stefano Zacchiroliadded false test
2004-01-22 Stefano Zacchiroli- added -thread switch
2004-01-22 Stefano Zacchirolibuild also cic_textual_parser2
2004-01-22 Andrea AspertiA few modifications, here and there...
2004-01-22 Andrea AspertiAdded all transformations for sequents.
2004-01-22 Claudio Sacerdoti... The parser have been made more functional with a trick.
2004-01-22 Stefano Zacchiroliuse "assert false" where needed
2004-01-22 Stefano Zacchiroliadded some match examples/regtests
2004-01-22 Stefano Zacchirolilocated parse error message
2004-01-22 Stefano Zacchiroli- bugfix: raise an Invalid_choice insteda of a generic...
2004-01-22 Stefano Zacchiroliadded to CicMetaSubst subst wrapper for CicReduction...
2004-01-22 Stefano Zacchiroli- added backup target
2004-01-22 Claudio Sacerdoti... Typo fixed.
2004-01-22 Stefano Zacchiroliprettified
2004-01-22 Stefano Zacchirolimoved hard coded uris to HelmLibraryObjects
2004-01-22 Stefano Zacchiroliported to cicMetaSubst
2004-01-22 Stefano Zacchiroli- splitted into cicMetaSubst
2004-01-22 Stefano Zacchirolibugfixes, typos and the hell
2004-01-22 Stefano Zacchirolisplit into this and cicMetaSubst.mli
2004-01-22 Stefano Zacchiroliadded CicMetaSubst module for metavariable instantiatiation
2004-01-22 Stefano Zacchirolibetter exception and error messages
2004-01-22 Stefano Zacchiroli- bugfix: print metas local context in the rigth order
2004-01-20 Andrea AspertiFirst version of refine for MutCase, still largely...
2004-01-19 Stefano Zacchirolisnapshot, almost working
2004-01-19 Stefano Zacchiroliadded a CSC's TODO comment
2004-01-19 Stefano Zacchiroliadded MkImplicit module for meta handling
2004-01-19 Stefano Zacchiroliadded Peano module and functions to create natural...
2004-01-19 Claudio Sacerdoti... mathql listed twice
2004-01-14 Stefano Zacchiroliadded missing depending on (CSC's) helm-cic_textual_parser
2004-01-14 Stefano Zacchiroliadded missing dependencies on mathql-*
2004-01-14 Stefano Zacchiroliadded logger's META
2004-01-14 Stefano Zacchiroli- added logger module
2004-01-14 Stefano Zacchirolimoved here ui_logger from gTopLeve
2004-01-14 Stefano Zacchirolistill a working copy, now towards a cleaner implementat...
2004-01-12 Stefano Zacchiroliadded HelmLibraryObjects module
2003-12-18 Claudio Sacerdoti... Bug commented out. The comment is also commented.
2003-12-18 Claudio Sacerdoti... Big bug spotted: restriction can fail and it was implic...
2003-12-18 Claudio Sacerdoti... One of the bug I detected (and commented) in my last...
2003-12-17 Ferruccio Guidipatched
2003-12-17 Claudio Sacerdoti... More comments. Some of them may highlight bugs or open...
2003-12-17 Stefano Zacchirolirebuilt
2003-12-17 Ferruccio GuidiMakefiles patched
2003-12-17 Claudio Sacerdoti... Big bug spotted and commented: the delift function...
2003-12-17 Claudio Sacerdoti... * comments improved an possible code weakness (i.e...
2003-12-17 Claudio Sacerdoti... * Reindentation
2003-12-17 Claudio Sacerdoti... * Reindentation.
2003-12-16 Stefano Zacchirolis/netclient/http/ in dependencies
2003-12-16 Stefano Zacchiroliuse ocaml-http instead of netclient for http GET requests
2003-12-16 Stefano Zacchiroliuse new METAS/* names
2003-12-16 Stefano Zacchirolirenamed META*.src to meta*.src so that ocamlfind list...
2003-12-16 Stefano Zacchirolirenamed module "logger" to "cicLogger" to avoid confusi...
2003-12-16 Stefano Zacchirolimoved META files in METAS/ dir
2003-12-16 Stefano Zacchiroliadded support for cic_textual_parser2 module
2003-12-15 Stefano Zacchirolinew experimental cic textual parser: checkin
2003-12-02 Ferruccio Guidisort CProp added
2003-11-20 Claudio Sacerdoti... The tmp is now cleared from the http___* files.
2003-11-03 Claudio Sacerdoti... *** empty log message ***
2003-10-29 Ferruccio Guidisome interfaces changed to prepare the mathql code...
2003-10-07 Luca Padovani* removed currified constructors everywhere. A bug...
2003-09-23 Ferruccio Guidipatch
2003-09-23 Claudio Sacerdoti... Reindentation
2003-09-23 Claudio Sacerdoti... BU_Conversion + omit-conclusion is a mess. I have parti...
2003-09-23 Claudio Sacerdoti... Debugging stuff removed.
2003-09-23 Ferruccio GuidiNow mathql_generator compiles before mathql_interpreter.
2003-09-13 Stefano Zacchiroliadded support for dump/restore/clear proof checker...
2003-09-13 Stefano Zacchiroliadded notation for reals 0, 1, n
2003-09-05 Stefano ZacchiroliDefs in context may now have an optional type (when...
2003-09-05 Stefano Zacchiroliadded \neqt macro
2003-09-05 Stefano Zacchiroliadded notation for Ropp and Rinv
2003-09-05 Claudio Sacerdoti... string ==> id
2003-09-05 Stefano ZacchiroliDefs in context may now have an optional type (when...
2003-09-05 Stefano Zacchirolifixed associativity of some (all!) binary operators
2003-09-05 Claudio Sacerdoti... Replace is now working also over Type.
2003-09-05 Claudio Sacerdoti... Replace tactic fixed. It was not working any longer...
next