]> matita.cs.unibo.it Git - helm.git/history - helm/gTopLevel/Makefile
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
made executable again
[helm.git] / helm / gTopLevel / Makefile
2004-04-19 Stefano Zacchiroliadded Makefile.in commit | commitdiff
2004-03-05 Claudio Sacerdoti... Quick & dirty patch to overcome a bug of ocamlfind. commit | commitdiff
2004-03-02 Claudio Sacerdoti... ... commit | commitdiff
2004-02-11 Stefano Zacchirolinew getter, logger, and the hell commit | commitdiff
2004-02-11 Claudio Sacerdoti... added target *.opt (e.g. test.opt, librarytest.opt... commit | commitdiff
2004-02-11 Claudio Sacerdoti... - make *opt fixed commit | commitdiff
2004-02-10 Claudio Sacerdoti... CicCache ==> CicEnvironment (in testlibrary.ml) commit | commitdiff
2004-02-07 Stefano Zacchirolichanged deps since testlibrary now uses (minimally... commit | commitdiff
2004-02-06 Stefano Zacchiroliuse ledit for debugging commit | commitdiff
2004-02-06 Stefano Zacchiroli- split regtest/testlibrary/gTopLevel objects so that... commit | commitdiff
2004-02-05 Claudio Sacerdoti... New target librarytest (to apply testlibrary.opt to... commit | commitdiff
2004-02-05 Stefano Zacchiroli- added testlibrary .opts commit | commitdiff
2004-02-05 Stefano Zacchiroliadded testlibrary script commit | commitdiff
2004-02-04 Claudio Sacerdoti... Typo fixed. Used to break target gentest. commit | commitdiff
2004-02-04 Claudio Sacerdoti... Improved regression testing reporting. commit | commitdiff
2004-02-04 Claudio Sacerdoti... - regtest: better argument handling (using Arg) commit | commitdiff
2004-02-03 Stefano Zacchiroliadded cleantest target (removes tests/*.test) commit | commitdiff
2004-02-03 Claudio Sacerdoti... time added to regtest commit | commitdiff
2004-01-30 Stefano Zacchiroliadded regression tests commit | commitdiff
2004-01-23 Claudio Sacerdoti... Eureka! commit | commitdiff
2004-01-23 Claudio Sacerdoti... - Added DisambiguatingParser (that abstracts both the... commit | commitdiff
2004-01-22 Stefano Zacchiroliupdated commit | commitdiff
2004-01-22 Stefano Zacchiroliadded ChosenTransformer commit | commitdiff
2004-01-14 Stefano Zacchiroliremoved ui_logger, now in external module logger commit | commitdiff
2003-12-16 Stefano Zacchiroli- fixed logging in log window so that spurious html... commit | commitdiff
2003-12-02 Ferruccio Guidisort CProp added commit | commitdiff
2003-11-06 Claudio Sacerdoti... HBugs compile again (but it does not do anything right... commit | commitdiff
2003-10-29 Luca Padovani* temporarily removed hbugs dependency commit | commitdiff
2003-09-07 Stefano Zacchiroliadded "start" and "stop" targets for hbugs commit | commitdiff
2003-07-29 Ferruccio Guidi- the mathql interpreter is not helm-dependent any... commit | commitdiff
2003-07-29 Claudio Sacerdoti... Spurious files removed. commit | commitdiff
2003-07-28 Stefano Zacchiroliuse OCAMLFIND variable instead of "ocamlfind" directly commit | commitdiff
2003-07-22 Claudio Sacerdoti... XmlDiff-ing of DOM trees implemented. commit | commitdiff
2003-07-17 Ferruccio Guidi- new generated query "unreferred" implemented at serve... commit | commitdiff
2003-07-16 Andrea AspertiSeveral changes (the beginning of a new era???) commit | commitdiff
2003-06-20 Ferruccio Guidistyles directory creation now works even if stylesheets... commit | commitdiff
2003-06-20 Claudio Sacerdoti... - script.sh added to the repository: you should change... commit | commitdiff
2003-06-19 Claudio Sacerdoti... Merge of the V7_3_new_exportation branch. commit | commitdiff
2002-10-11 Claudio Sacerdoti... - rewrite extended to handle rewritings with eqT commit | commitdiff
2002-09-13 Claudio Sacerdoti... ring.ml* splitted into ring.ml* and tacticals.ml* commit | commitdiff
2002-09-04 Enrico TassiFourier tactic commit | commitdiff
2002-07-22 Claudio Sacerdoti... Many improvements in tactics (and tactical) representation: commit | commitdiff
2002-07-01 Stefano Zacchiroli- added Ring tactic on reals commit | commitdiff
2002-06-22 Ferruccio Guidiuntested version of mQueryGenerator (was mquery part 2) commit | commitdiff
2002-06-12 Claudio Sacerdoti... * Abst removed from the DTD commit | commitdiff
2002-06-10 Claudio Sacerdoti... * doubleTypeInference.ml* added. For now, it just compu... commit | commitdiff
2002-05-29 Claudio Sacerdoti... New module helm-mathql. commit | commitdiff
2002-05-22 Claudio Sacerdoti... cic2acic.mli added commit | commitdiff
2002-05-20 Claudio Sacerdoti... mquery.ml now really call the execution of the query. commit | commitdiff
2002-04-30 Ferruccio Guidibasic MathQL support commit | commitdiff
2002-04-16 Claudio Sacerdoti... proofEngineReduction.ml added commit | commitdiff
2002-04-08 Claudio Sacerdoti... * Many improvements commit | commitdiff
2002-04-02 Claudio Sacerdoti... First commit of our future proof-assistant/proof-improv... commit | commitdiff
Unnamed repository; edit this file 'description' to name the repository.