]> matita.cs.unibo.it Git - helm.git/history - helm/gTopLevel
...
[helm.git] / helm / gTopLevel /
2004-02-07 Stefano Zacchirolirebuilt
2004-02-06 Stefano Zacchiroliadded annotations to Cic.Implicit
2004-02-06 Stefano Zacchiroliuse ledit for debugging
2004-02-06 Stefano Zacchiroliignore .debug_script (used by Makefile's debug target)
2004-02-06 Stefano Zacchiroli- split regtest/testlibrary/gTopLevel objects so that...
2004-02-06 Stefano Zacchiroliadded testlibrary.opt and some cm****
2004-02-05 Claudio Sacerdoti... No more garbage in the metasenv.
2004-02-05 Claudio Sacerdoti... New target librarytest (to apply testlibrary.opt to...
2004-02-05 Stefano Zacchiroli- added support for multiple choices
2004-02-05 Stefano Zacchirolibetter output format
2004-02-05 Stefano Zacchiroliflush stdout after print_string
2004-02-05 Stefano Zacchiroli- added testlibrary .opts
2004-02-05 Claudio Sacerdoti... __n no longer generated.
2004-02-05 Stefano Zacchiroliadded testlibrary script
2004-02-05 Claudio Sacerdoti... dummy dependent types and dummy letins are now removed...
2004-02-05 Claudio Sacerdoti... fresh_name_generator has now also the metasenv parameter.
2004-02-05 Claudio Sacerdoti... mk_fresh_name moved to FreshNamesGenerator.
2004-02-05 Claudio Sacerdoti... New test.
2004-02-04 Claudio Sacerdoti... Added newline.
2004-02-04 Claudio Sacerdoti... Effects of fixing bugs for other regression tests ;-)
2004-02-04 Andrea AspertiAdded a new example.
2004-02-04 Claudio Sacerdoti... report files are now produced (and removed) during...
2004-02-04 Claudio Sacerdoti... ...
2004-02-04 Claudio Sacerdoti... Typo fixed. Used to break target gentest.
2004-02-04 Claudio Sacerdoti... Improved regression testing reporting.
2004-02-04 Claudio Sacerdoti... - regtest: better argument handling (using Arg)
2004-02-03 Claudio Sacerdoti... regression tests
2004-02-03 Stefano Zacchiroli- comment inside .test file that explain what follows
2004-02-03 Stefano Zacchiroliadded cleantest target (removes tests/*.test)
2004-02-03 Claudio Sacerdoti... Check missed: the two metasenv were not compared.
2004-02-03 Claudio Sacerdoti... Debuggin infos removed.
2004-02-03 Claudio Sacerdoti... - do not crash any longer if type-checking or reduction...
2004-02-03 Claudio Sacerdoti... time added to regtest
2004-02-03 Claudio Sacerdoti... New tests for lambdas (that show bugs in applications ;-)
2004-02-03 Stefano Zacchirolicatch exceptions and mark corresponding tests as failed
2004-02-02 Stefano Zacchiroliported to new type_of prototype
2004-02-02 Stefano Zacchirolifact regtest
2004-01-30 Claudio Sacerdoti... Refinement of Fix and CoFix now implemented.
2004-01-30 Stefano Zacchiroliadded regression tests
2004-01-30 Stefano Zacchirolis/Callbacks/DisambiguateCallbacks/
2004-01-29 Stefano Zacchiroli- s/TexTermEditor/TermEditor/ (* former no longer appro...
2004-01-29 Stefano Zacchiroli- added "clear alias" menu item
2004-01-26 Claudio Sacerdoti... Generated ml files added.
2004-01-24 Stefano Zacchiroli- s/id_to_uris/environment/
2004-01-24 Stefano Zacchirolireference moved EnvironmentP3 for new parser
2004-01-24 Stefano Zacchiroli.in version of "configuration" modules
2004-01-24 Stefano Zacchirolidebug_print
2004-01-24 Stefano Zacchiroli- quiet debugging for mathql
2004-01-23 Claudio Sacerdoti... Eureka!
2004-01-23 Stefano Zacchirolirenamed modules so that they are more consistent with...
2004-01-23 Stefano Zacchirolimoved environmentP3 in cic_textual_parser2 and reshaped...
2004-01-23 Claudio Sacerdoti... - Added DisambiguatingParser (that abstracts both the...
2004-01-23 Claudio Sacerdoti... ...
2004-01-22 Stefano Zacchiroliupdated
2004-01-22 Stefano Zacchirolimoved disambiguate module away
2004-01-22 Stefano Zacchiroli(temporary, waiting for abstraction over disambiguators...
2004-01-22 Stefano Zacchiroliadded ChosenTransformer
2004-01-22 Stefano Zacchiroliabstracted over which transformer gTopLevel uses (ocaml...
2004-01-22 Andrea AspertiNow applying ocaml transformations to sequents as well.
2004-01-22 Stefano Zacchiroliuse new proofEngineHelpers
2004-01-14 Stefano Zacchiroliremoved ui_logger, now in external module logger
2004-01-14 Stefano Zacchirolimoved to the logger module
2003-12-16 Stefano Zacchiroli- fixed logging in log window so that spurious html...
2003-12-16 Stefano Zacchirolisample script.sh which read META files from ocaml/METAS
2003-12-02 Ferruccio Guidisort CProp added
2003-11-06 Claudio Sacerdoti... HBugs compile again (but it does not do anything right...
2003-11-04 Luca Padovani* first upgrade to the new error logging mechanism
2003-10-29 Ferruccio Guidisome interfaces changed to prepare the mathql code...
2003-10-29 Luca Padovani* temporarily removed hbugs dependency
2003-10-29 Luca Padovani* updated for gtk2
2003-10-29 Luca Padovani* updated for gtk2
2003-10-29 Luca Padovani* this implements the new instantiation for gtkmathview
2003-10-29 Luca Padovani* GEdit -> GText
2003-10-29 Luca Padovani* variant types changed for selection mode
2003-09-23 Claudio Sacerdoti... ...
2003-09-23 Claudio Sacerdoti... Reindentation.
2003-09-23 Claudio Sacerdoti... ProofEngine.goal := ==> set_proof_engine_goal
2003-09-23 Claudio Sacerdoti... Reindentation
2003-09-23 Claudio Sacerdoti... ProofEngine.proof is now an abstract data type (since...
2003-09-23 Claudio Sacerdoti... This version of xmlDiff is much much much smarter than...
2003-09-14 Stefano Zacchiroli- bumped copyright years
2003-09-14 Stefano Zacchiroli- converted TAB to spaces
2003-09-14 Stefano Zacchiroli- clear hints list upon status submit
2003-09-07 Stefano Zacchiroli- use hbugs' describe_callback to render apply-hints...
2003-09-07 Stefano Zacchirolicommented out gtkmathview's font_size override
2003-09-07 Stefano Zacchiroliadded "start" and "stop" targets for hbugs
2003-09-07 Stefano Zacchiroliadded support for external configuration of describe_hi...
2003-09-05 Claudio Sacerdoti... get_childNodes no longer used ==> major performance...
2003-09-05 Stefano Zacchiroliadded \neqt macro
2003-09-05 Stefano ZacchiroliDefs in context may now have an optional type (when...
2003-09-04 Stefano Zacchiroli- added default URI for new theorems
2003-09-04 Stefano Zacchiroliadded support for X11 clipboard pasting with CTRL-V...
2003-09-04 Stefano Zacchiroliadded methods to start/stop web services
2003-09-04 Stefano Zacchiroliadded eqT's macro
2003-09-04 Ferruccio Guidiadded the support for the "Locate Inductive Principles...
2003-07-29 Ferruccio Guidi- the mathql interpreter is not helm-dependent any...
2003-07-29 Claudio Sacerdoti... Spurious files removed.
2003-07-28 Claudio Sacerdoti... background (deprecated) ==> mathbackground
2003-07-28 Claudio Sacerdoti... Bug fixed: it could have happened that the tree structu...
2003-07-28 Stefano Zacchiroliuse OCAMLFIND variable instead of "ocamlfind" directly
next