]> matita.cs.unibo.it Git - helm.git/history - matita/components
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
grafite parser updated
[helm.git] / matita / components /
2021-03-18 Ferruccio Guidigrafite parser updated tree | commitdiff
2021-02-28 Ferruccio Guidiupdate in ground tree | commitdiff
2020-01-25 Ferruccio Guidiupdate in basic_2 + new tool "roles" tree | commitdiff
2020-01-18 Ferruccio Guidiupdate in lambdadelta tree | commitdiff
2019-11-18 Ferruccio Guidiupdate for the article tree | commitdiff
2019-11-09 Ferruccio Guidiupdated probe and matitadep tree | commitdiff
2019-10-18 Ferruccio GuidiMerge remote-tracking branch 'origin/ld-0.99.3' tree | commitdiff
2019-10-16 Claudio Sacerdoti... Update online helper entries tree | commitdiff
2019-10-14 Ferruccio Guidisome added lemmas removed from auto tree | commitdiff
2019-10-01 Ferruccio GuidiMerge remote-tracking branch 'origin/matita-lablgtk3' tree | commitdiff
2019-09-29 Ferruccio Guidimatita gtk3: some bugs fixed matita-lablgtk3 tree | commitdiff
2019-09-29 Ferruccio GuidiMerge branch 'matita-lablgtk3' of ssh://matita.cs.unibo... tree | commitdiff
2019-09-27 Claudio Sacerdoti... Merge branch 'declarative' into matita-lablgtk3 tree | commitdiff
2019-09-27 Andrea BerlingieriChange Sort.merge (deprecated) with List.merge tree | commitdiff
2019-09-27 Andrea BerlingieriTest pretty printg of declarative tactics tree | commitdiff
2019-09-27 Andrea BerlingieriMake 'that is equivalent to' a standalone tactic tree | commitdiff
2019-09-27 Andrea BerlingieriMany changes tree | commitdiff
2019-09-27 Andrea BerlingieriFix indentation tree | commitdiff
2019-09-27 Andrea BerlingieriAdd support for proving cases in a different order tree | commitdiff
2019-09-27 Andrea BerlingieriAdd last declarative tactics, modify rewriting tactics tree | commitdiff
2019-09-27 Andrea BerlingieriChanges to declarative tactics, implementation of equal... tree | commitdiff
2019-09-27 Andrea BerlingieriMany changes tree | commitdiff
2019-09-27 Andrea BerlingieriAdd drafts for some tactics tree | commitdiff
2019-09-27 Andrea BerlingieriPartially restore the suppose tactic tree | commitdiff
2019-09-27 Andrea BerlingieriPartially restore the assume tactic tree | commitdiff
2019-09-27 Claudio Sacerdoti... ... tree | commitdiff
2019-09-27 Ferruccio Guidipatches for compilation with ocaml 4.0.5 tree | commitdiff
2019-09-27 Claudio Sacerdoti... make depend.opt tree | commitdiff
2019-09-27 Claudio Sacerdoti... Most warnings turned into errors and avoided tree | commitdiff
2019-09-27 Claudio Sacerdoti... Matita 0.99.* bug fixed: new alias insertion tree | commitdiff
2019-09-27 Claudio Sacerdoti... On-going porting to lablgtk3 tree | commitdiff
2019-07-20 Ferruccio Guidimore additions and corrections for the article tree | commitdiff
2019-01-08 Ferruccio Guidipatches for compilation with ocaml 4.0.5 tree | commitdiff
2018-12-28 Claudio Sacerdoti... make depend.opt tree | commitdiff
2018-12-27 Claudio Sacerdoti... Most warnings turned into errors and avoided tree | commitdiff
2018-12-26 Claudio Sacerdoti... Matita 0.99.* bug fixed: new alias insertion tree | commitdiff
2018-12-20 Ferruccio Guidixoa utility updated tree | commitdiff
2018-12-19 Claudio Sacerdoti... On-going porting to lablgtk3 tree | commitdiff
2018-09-13 Ferruccio Guididependences for ocaml version 4.05.0 tree | commitdiff
2018-08-01 Ferruccio Guidiparameter sintax added to axiom statement tree | commitdiff
2018-07-14 Ferruccio Guidiupdated xoa and predefined virtuals tree | commitdiff
2018-04-16 Ferruccio Guidiupdate in basic_2 and ground_2 tree | commitdiff
2018-04-05 Ferruccio Guidibug fixed in xoa generator tree | commitdiff
2018-02-02 Ferruccio Guidixoa updated tree | commitdiff
2018-01-05 Ferruccio Guidiupdated depend files tree | commitdiff
2017-12-28 Claudio Sacerdoti... .depend{.opt} files changed tree | commitdiff
2017-05-17 Ferruccio Guidicomponent utf8_macros fully renamed tree | commitdiff
2017-05-17 Ferruccio Guidicomponent syntax_extensions was not declared tree | commitdiff
2017-03-31 Ferruccio Guidiremoved unused timeout flag tree | commitdiff
2017-03-31 Ferruccio Guidiremoving extra spaces tree | commitdiff
2017-02-27 Ferruccio Guidi- initial support for sigma-types tree | commitdiff
2017-01-26 Ferruccio Guidi- some commutations between the rt-steps and the s... tree | commitdiff
2017-01-22 Ferruccio Guidi- degree-based equivalene for terms tree | commitdiff
2016-11-24 Ferruccio Guidilexer updated with the new reference syntax + tree | commitdiff
2016-11-23 Ferruccio Guidi1) hard coded linearized references removed tree | commitdiff
2016-07-04 Ferruccio Guidi- matex: notational macros for 0-ary constants tree | commitdiff
2016-07-03 Ferruccio Guidi- matex: we separate axioms (propositions) and assumpti... tree | commitdiff
2016-06-24 Ferruccio Guidimore notation for basic_1 ... tree | commitdiff
2016-06-22 Ferruccio Guidi- matex: minor improvements tree | commitdiff
2016-06-20 Ferruccio Guidicorrections to use less font packages (TeX was complaining) tree | commitdiff
2016-06-19 Ferruccio Guidi- matex: minor corrections to handle applications with... tree | commitdiff
2016-06-13 Ferruccio Guididoes_not_occur documented tree | commitdiff
2016-06-12 Ferruccio Guidi- improved support for case tree | commitdiff
2016-06-06 Ferruccio GuidiMaTeX: tree | commitdiff
2016-05-23 Ferruccio Guidiinitial support for LaTeX-defined notatopn tree | commitdiff
2016-05-22 Ferruccio Guidi- support fof global alpha-conversion with hyperlinks tree | commitdiff
2016-04-30 Ferruccio Guidi- matex: support for alpha-conversion completed tree | commitdiff
2016-04-27 Ferruccio Guidiexportation of lambdadelta 1 with flavoured let recs tree | commitdiff
2016-04-18 Ferruccio GuidiAs required by M. Maietti, tree | commitdiff
2016-03-28 Ferruccio Guidiminor correction on "source" production tree | commitdiff
2016-03-25 Ferruccio Guidi- probe: now includes source character count (was:... tree | commitdiff
2016-03-24 Ferruccio Guidisupport for printing the number of objects grouped... tree | commitdiff
2016-03-23 Ferruccio Guidi- ng_kernel: we print the offending term when guarded_b... tree | commitdiff
2016-03-13 Ferruccio Guidi- new syntax for let rec/corec with flavor specifier... tree | commitdiff
2016-02-21 Ferruccio GuidiMaTeX tree | commitdiff
2016-02-15 Ferruccio Guidinow every object is output in a LaTeX environment,... tree | commitdiff
2016-02-07 Ferruccio Guidi- ground_2: support for relocation updated tree | commitdiff
2016-02-04 Ferruccio Guidi- ground_2: relocation with nstream is now based on... tree | commitdiff
2016-02-02 Ferruccio Guidi- scope management completed tree | commitdiff
2016-02-02 Ferruccio Guidi- scope management begins... tree | commitdiff
2016-02-01 Ferruccio Guidiimproved style sheet tree | commitdiff
2016-01-26 Ferruccio Guidilexicon commands must tbe parsed before grafite command... tree | commitdiff
2016-01-13 Ferruccio Guidi- ng_kernel: catched Invalid_argument "List.nth" in... tree | commitdiff
2016-01-11 Ferruccio Guidi- plain anticipation for CIC proofs terms tree | commitdiff
2016-01-04 Ferruccio Guidi- Const is now processed properly tree | commitdiff
2015-12-21 Ferruccio Guidi- First commit of MaTeX: tree | commitdiff
2015-09-23 Ferruccio Guidioptional parameters added to the syntax of definitions, tree | commitdiff
2015-09-06 Ferruccio Guidi- the `Implied attribute is now printed tree | commitdiff
2015-09-05 Ferruccio Guidilast comment was incomplete by mistake. tree | commitdiff
2015-09-05 Ferruccio Guidi- New attribute `Implied put beside `Generated and... tree | commitdiff
2015-02-05 Ferruccio Guididepend update tree | commitdiff
2015-01-30 Ferruccio Guidinotation ast updated to comply with the toplevel let... tree | commitdiff
2014-12-01 Ferruccio Guididependences update tree | commitdiff
2014-10-19 Ferruccio Guidi- grafiteParser: we added the comand "defined" as a... tree | commitdiff
2014-10-04 Ferruccio Guidi- nnAuto: we catch TypeCheckerFailure generated at... tree | commitdiff
2014-07-04 Ferruccio Guidi- now unicode characters are counted :) tree | commitdiff
2014-03-07 Claudio Sacerdoti... Do not assert false for a print not implemented yet. tree | commitdiff
2014-03-07 Claudio Sacerdoti... Hocus-pocus code to use the old (and deprecated) implem... tree | commitdiff
2014-03-04 Claudio Sacerdoti... Bug fixed: the tactic to analyze the term and understan... tree | commitdiff
2014-03-04 Claudio Sacerdoti... OCaml 4.0 detects a not handled case. tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.