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