]> matita.cs.unibo.it Git - helm.git/history - helm/gTopLevel
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
snapshot
[helm.git] / helm / gTopLevel /
2004-01-24 Stefano Zacchiroli- quiet debugging for mathql tree | commitdiff
2004-01-23 Claudio Sacerdoti... Eureka! tree | commitdiff
2004-01-23 Stefano Zacchirolirenamed modules so that they are more consistent with... tree | commitdiff
2004-01-23 Stefano Zacchirolimoved environmentP3 in cic_textual_parser2 and reshaped... tree | commitdiff
2004-01-23 Claudio Sacerdoti... - Added DisambiguatingParser (that abstracts both the... tree | commitdiff
2004-01-23 Claudio Sacerdoti... ... tree | commitdiff
2004-01-22 Stefano Zacchiroliupdated tree | commitdiff
2004-01-22 Stefano Zacchirolimoved disambiguate module away tree | commitdiff
2004-01-22 Stefano Zacchiroli(temporary, waiting for abstraction over disambiguators... tree | commitdiff
2004-01-22 Stefano Zacchiroliadded ChosenTransformer tree | commitdiff
2004-01-22 Stefano Zacchiroliabstracted over which transformer gTopLevel uses (ocaml... tree | commitdiff
2004-01-22 Andrea AspertiNow applying ocaml transformations to sequents as well. tree | commitdiff
2004-01-22 Stefano Zacchiroliuse new proofEngineHelpers tree | commitdiff
2004-01-14 Stefano Zacchiroliremoved ui_logger, now in external module logger tree | commitdiff
2004-01-14 Stefano Zacchirolimoved to the logger module tree | commitdiff
2003-12-16 Stefano Zacchiroli- fixed logging in log window so that spurious html... tree | commitdiff
2003-12-16 Stefano Zacchirolisample script.sh which read META files from ocaml/METAS tree | commitdiff
2003-12-02 Ferruccio Guidisort CProp added tree | commitdiff
2003-11-06 Claudio Sacerdoti... HBugs compile again (but it does not do anything right... tree | commitdiff
2003-11-04 Luca Padovani* first upgrade to the new error logging mechanism tree | commitdiff
2003-10-29 Ferruccio Guidisome interfaces changed to prepare the mathql code... tree | commitdiff
2003-10-29 Luca Padovani* temporarily removed hbugs dependency tree | commitdiff
2003-10-29 Luca Padovani* updated for gtk2 tree | commitdiff
2003-10-29 Luca Padovani* updated for gtk2 tree | commitdiff
2003-10-29 Luca Padovani* this implements the new instantiation for gtkmathview tree | commitdiff
2003-10-29 Luca Padovani* GEdit -> GText tree | commitdiff
2003-10-29 Luca Padovani* variant types changed for selection mode tree | commitdiff
2003-09-23 Claudio Sacerdoti... ... tree | commitdiff
2003-09-23 Claudio Sacerdoti... Reindentation. tree | commitdiff
2003-09-23 Claudio Sacerdoti... ProofEngine.goal := ==> set_proof_engine_goal tree | commitdiff
2003-09-23 Claudio Sacerdoti... Reindentation tree | commitdiff
2003-09-23 Claudio Sacerdoti... ProofEngine.proof is now an abstract data type (since... tree | commitdiff
2003-09-23 Claudio Sacerdoti... This version of xmlDiff is much much much smarter than... tree | commitdiff
2003-09-14 Stefano Zacchiroli- bumped copyright years tree | commitdiff
2003-09-14 Stefano Zacchiroli- converted TAB to spaces tree | commitdiff
2003-09-14 Stefano Zacchiroli- clear hints list upon status submit tree | commitdiff
2003-09-07 Stefano Zacchiroli- use hbugs' describe_callback to render apply-hints... tree | commitdiff
2003-09-07 Stefano Zacchirolicommented out gtkmathview's font_size override tree | commitdiff
2003-09-07 Stefano Zacchiroliadded "start" and "stop" targets for hbugs tree | commitdiff
2003-09-07 Stefano Zacchiroliadded support for external configuration of describe_hi... tree | commitdiff
2003-09-05 Claudio Sacerdoti... get_childNodes no longer used ==> major performance... tree | commitdiff
2003-09-05 Stefano Zacchiroliadded \neqt macro tree | commitdiff
2003-09-05 Stefano ZacchiroliDefs in context may now have an optional type (when... tree | commitdiff
2003-09-04 Stefano Zacchiroli- added default URI for new theorems tree | commitdiff
2003-09-04 Stefano Zacchiroliadded support for X11 clipboard pasting with CTRL-V... tree | commitdiff
2003-09-04 Stefano Zacchiroliadded methods to start/stop web services tree | commitdiff
2003-09-04 Stefano Zacchiroliadded eqT's macro tree | commitdiff
2003-09-04 Ferruccio Guidiadded the support for the "Locate Inductive Principles... tree | commitdiff
2003-07-29 Ferruccio Guidi- the mathql interpreter is not helm-dependent any... tree | commitdiff
2003-07-29 Claudio Sacerdoti... Spurious files removed. tree | commitdiff
2003-07-28 Claudio Sacerdoti... background (deprecated) ==> mathbackground tree | commitdiff
2003-07-28 Claudio Sacerdoti... Bug fixed: it could have happened that the tree structu... tree | commitdiff
2003-07-28 Stefano Zacchiroliuse OCAMLFIND variable instead of "ocamlfind" directly tree | commitdiff
2003-07-28 Claudio Sacerdoti... - severe bug fixing tree | commitdiff
2003-07-25 Claudio Sacerdoti... Highlighting of changed parts. tree | commitdiff
2003-07-22 Andrea AspertiDebugging stuff changed. tree | commitdiff
2003-07-22 Andrea Asperti"Final" commit that patches termViewer while still... tree | commitdiff
2003-07-22 Andrea AspertiPrevious commit was erroneous and dit not compile. tree | commitdiff
2003-07-22 Claudio Sacerdoti... Debugging code inserted bug in the code ;-) tree | commitdiff
2003-07-22 Claudio Sacerdoti... XmlDiff-ing of DOM trees implemented. tree | commitdiff
2003-07-20 Claudio Sacerdoti... Cic2acic is now responsible of eta-fixing the objects. tree | commitdiff
2003-07-20 Claudio Sacerdoti... Content2cic e Eta_fixing moved from gTopLevel to cic_omdoc. tree | commitdiff
2003-07-20 Claudio Sacerdoti... Cic2content split into Content and Cic2content. tree | commitdiff
2003-07-18 Andrea AspertiCSC: tentative definition of the ocaml structure that... tree | commitdiff
2003-07-17 Ferruccio Guidi- new generated query "unreferred" implemented at serve... tree | commitdiff
2003-07-16 Claudio Sacerdoti... Xml.token is now namespace-aware. As a consequence... tree | commitdiff
2003-07-16 Andrea AspertiSeveral changes (the beginning of a new era???) tree | commitdiff
2003-07-02 Ferruccio Guidimathql_generator: new constraint format (more type... tree | commitdiff
2003-07-02 Claudio Sacerdoti... Ctr+Backspace is now enabled. Used to perform "alternat... tree | commitdiff
2003-07-02 Claudio Sacerdoti... The editor window now scrolls when the user exceeds... tree | commitdiff
2003-07-01 Claudio Sacerdoti... - DoubleTypeInference.does_not_occur exposed tree | commitdiff
2003-06-30 Claudio Sacerdoti... - default font size of the proof window lowered to 10 tree | commitdiff
2003-06-27 Claudio Sacerdoti... The type of a LetIn is now a LetIn if and only if the... tree | commitdiff
2003-06-27 Claudio Sacerdoti... The "Save proof" menu item is now activated when a... tree | commitdiff
2003-06-27 Claudio Sacerdoti... Reloading bugged stylesheets no longer makes gTopLevel... tree | commitdiff
2003-06-27 Claudio Sacerdoti... Reload stylesheets menu entry added (under the Settings... tree | commitdiff
2003-06-25 Andrea AspertiIt should have already been moved to ocaml/mathql_generator tree | commitdiff
2003-06-25 Claudio Sacerdoti... Removed (it should have already been in ocaml/tactics) tree | commitdiff
2003-06-24 Claudio Sacerdoti... No longer in use. tree | commitdiff
2003-06-20 Ferruccio Guidistyles directory creation now works even if stylesheets... tree | commitdiff
2003-06-20 Claudio Sacerdoti... ... tree | commitdiff
2003-06-20 Claudio Sacerdoti... Installation instructions. tree | commitdiff
2003-06-20 Claudio Sacerdoti... - script.sh added to the repository: you should change... tree | commitdiff
2003-06-19 Claudio Sacerdoti... * mquery_interpreter logging and debugging activated tree | commitdiff
2003-06-19 Claudio Sacerdoti... Merge of the V7_3_new_exportation branch. tree | commitdiff
2002-11-18 Ferruccio Guidigenerator patched for new semantics with structurated... tree | commitdiff
2002-11-14 Ferruccio Guidireplaced fun with inverse attribute tree | commitdiff
2002-11-04 Enrico Tassibug found: tree | commitdiff
2002-10-31 Ferruccio GuidiMQueryGenerator ported to use fun "objectName" tree | commitdiff
2002-10-25 Enrico TassiNow esempi/fourier.cic end with a proof! tree | commitdiff
2002-10-22 Ferruccio GuiditopLevel updated to use mqint set_database and get_database tree | commitdiff
2002-10-22 Claudio Sacerdoti... Bug ``fixed'': we do not need to apply sym_eqT since... tree | commitdiff
2002-10-21 Claudio Sacerdoti... No more useful tree | commitdiff
2002-10-21 natileMerge of the new_mathql branch with the main branch: tree | commitdiff
2002-10-17 Enrico Tassi- indentation is now in pseudo-functional style! tree | commitdiff
2002-10-17 Enrico Tassi- rewritesimpl_tac added in fourierR.ml (wrong location) tree | commitdiff
2002-10-16 Claudio Sacerdoti... - write_tac fixed (the list of new goals was empty) tree | commitdiff
2002-10-14 Claudio Sacerdoti... A tough test for rewrite. tree | commitdiff
2002-10-14 Claudio Sacerdoti... - bug fixed: some liftings were missing in the implemen... tree | commitdiff
2002-10-11 Claudio Sacerdoti... - rewrite extended to handle rewritings with eqT tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.