]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2009-04-27 Ferruccio GuidimatitacLib: bugfix in .moo generation
2009-04-26 Claudio Sacerdoti... The backward compatible management of aliases for NG...
2009-04-25 Claudio Sacerdoti... It is now possible for commands processed by grafiteEng...
2009-04-25 Claudio Sacerdoti... Lookup_in_library implemented for new objects. Basicall...
2009-04-25 Claudio Sacerdoti... It is now possible to declare new aliases using the...
2009-04-25 Ferruccio Guidi- matitacLib: lexicon status and grafite status where...
2009-04-25 Claudio Sacerdoti... The translation from old aliases to new references...
2009-04-25 Claudio Sacerdoti... Apply subst implemented also for Fixpoints.
2009-04-25 Claudio Sacerdoti... Type for list_index improved.
2009-04-25 Claudio Sacerdoti... Slightly improved type for list_index.
2009-04-25 Claudio Sacerdoti... New utility function list_index (useful in many places...
2009-04-25 Claudio Sacerdoti... Better error message.
2009-04-25 Claudio Sacerdoti... Debug option reverted.
2009-04-25 Ferruccio Guidi- matitacLib: better handling of the callbacks for...
2009-04-24 Claudio Sacerdoti... - Grammar for all obj commands ported to NG (let recs...
2009-04-24 Claudio Sacerdoti... Quick&dirty implementation of neqd:
2009-04-22 Ferruccio Guidi- transcript: we have now two styles of mma's from...
2009-04-22 Wilmer Ricciottisyntax colouring for inverters
2009-04-22 Wilmer RicciottiDisabled debug prints in the inversion principle.
2009-04-22 Wilmer RicciottiNew command "inverter" used to generate an induction...
2009-04-22 Enrico Tassidemodulate takes an extra argument 'all', if present...
2009-04-21 Ferruccio Guidi- MatitaMisc: we factorized here the function out_pream...
2009-04-21 Enrico Tassifixed last file restricting auto tables
2009-04-20 Enrico Tassi- init_cache_and_tables rewritten using the automation_...
2009-04-20 Claudio Sacerdoti... Bug fixed: variable capture in previous commit prevente...
2009-04-17 Claudio Sacerdoti... Some improvements.
2009-04-17 Claudio Sacerdoti... ...
2009-04-16 Ferruccio GuidiProcedural: we corrected two errors about the handling...
2009-04-16 Claudio Sacerdoti... Bug: let-ins are always automatically folded!
2009-04-16 Claudio Sacerdoti... ...
2009-04-16 Claudio Sacerdoti... test/a.ma => tests/ng_tactics.ma, with nassert here...
2009-04-16 Claudio Sacerdoti... Replaced long, bugged implementation of letin-tac with...
2009-04-16 Claudio Sacerdoti... Added ppterm.
2009-04-16 Claudio Sacerdoti... The context is now parsed in the reverse (right) order.
2009-04-16 Claudio Sacerdoti... ...
2009-04-16 Enrico TassiUniverse is used only locally to tactics/
2009-04-16 Enrico Tassiadded an exception
2009-04-15 Ferruccio Guidi- transcript: bugfix
2009-04-14 Ferruccio Guidiwe rebuilt the dependences
2009-04-14 Ferruccio Guidi- Procedural: generation of "exact" is now complete
2009-04-14 Claudio Sacerdoti... Trick: the refiner always subst-expands the outtype...
2009-04-14 Claudio Sacerdoti... Bug fixed in two lines + 5 lines of comment.
2009-04-14 Claudio Sacerdoti... assert_tac now takes a list of sequents and also checks...
2009-04-14 Claudio Sacerdoti... New debugging tactic nassert:
2009-04-12 Claudio Sacerdoti... Semantic selection back again (but no semantic cut...
2009-04-12 Claudio Sacerdoti... Match is now rendered as best as possible.
2009-04-10 Claudio Sacerdoti... The sequent viewer now considers the context to render...
2009-04-09 Ferruccio Guidi- character: we adjusted some "autobatch" parameters
2009-04-09 Claudio Sacerdoti... The substitution is now taken in account when printing...
2009-04-09 Enrico Tassiadded letin, still broken
2009-04-09 Enrico Tassi...
2009-04-09 Enrico Tassinew tactic whd implemented
2009-04-09 Enrico Tassi- change implemented in 4 lines
2009-04-09 Enrico Tassi- generalize finished
2009-04-09 Enrico Tassi?_OS1 := C[ ?_IN ]
2009-04-09 Enrico Tassifixed modules order
2009-04-09 Enrico Tassiminor fixes
2009-04-09 Enrico Tassi...
2009-04-09 Claudio Sacerdoti... ...
2009-04-09 Claudio Sacerdoti... + Chain NCic.term -> content -> presentation very...
2009-04-08 Claudio Sacerdoti... Just to make it compile again.
2009-04-08 Enrico Tassigeneralized is half-implemented (still broken)
2009-04-08 Enrico TassiAnalizyng the inductive type of the eliminated term and
2009-04-07 Claudio Sacerdoti... - nrewrite ((very?) rough implementation)
2009-04-07 Claudio Sacerdoti... - more progress towards generalize, but I am stuck now
2009-04-07 Enrico Tassi- select_tac honors the hypotheses pattern when require...
2009-04-07 Enrico Tassiselect honors the substitution
2009-04-06 Claudio Sacerdoti... New tactic clear; new syntax # _; to introduce and...
2009-04-06 Claudio Sacerdoti... ...
2009-04-06 Enrico Tassitactic cases works! delift clears tags
2009-04-06 Enrico Tassieta-contraction was made on the wrong term
2009-04-06 Enrico Tassiunification:
2009-04-06 Enrico Tassibetter error message
2009-04-06 Enrico Tassiadded one exception
2009-04-06 Ferruccio Guidi- external quantification removed (will be reintroduced...
2009-04-06 Ferruccio Guidilimits: reorganized and attached to nightly tests ...
2009-04-06 Enrico Tassisnapshot
2009-04-05 Ferruccio Guidi- Procedural: now we generate the exact tactic (in...
2009-04-02 Enrico Tassi...
2009-04-02 Enrico TassiNew file nTacStatus to:
2009-04-02 Enrico Tassiadded analyse_indty
2009-04-01 Claudio Sacerdoti... New tactic "case1_tac" that make "intro" followed by...
2009-04-01 Claudio Sacerdoti... ...
2009-04-01 Claudio Sacerdoti... ## prefix is now used for tinycals
2009-04-01 Claudio Sacerdoti... New tactic intro. Syntax: "# n".
2009-04-01 Enrico Tassiadded tentative elim
2009-04-01 Enrico Tassi1) mk_meta now returns also the index of the created...
2009-04-01 Enrico Tassiremoved spurious "
2009-03-30 Enrico Tassitentative subst-sexpand and change
2009-03-30 Enrico Tassi...
2009-03-27 Enrico Tassimore comments
2009-03-27 Enrico Tassiexec and distribute implemented
2009-03-26 Enrico Tassinew apply almost there
2009-03-26 Enrico Tassi...
2009-03-26 Enrico Tassi...
2009-03-25 Enrico Tassinew tactics are almost ready
2009-03-19 Claudio Sacerdoti... ...
2009-03-19 Stefano Zacchiroliadd Homepage field
2009-03-19 Stefano Zacchiroliset package section to "ocaml"
2009-03-19 Stefano Zacchiroliadd missing ${misc:Depends}, thanks lintian!
next