]> matita.cs.unibo.it Git - helm.git/history - matita/components
updated xoa and predefined virtuals
[helm.git] / matita / components /
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...
2015-02-05 Ferruccio Guididepend update
2015-01-30 Ferruccio Guidinotation ast updated to comply with the toplevel let...
2014-12-01 Ferruccio Guididependences update
2014-10-19 Ferruccio Guidi- grafiteParser: we added the comand "defined" as a...
2014-10-04 Ferruccio Guidi- nnAuto: we catch TypeCheckerFailure generated at...
2014-07-04 Ferruccio Guidi- now unicode characters are counted :)
2014-03-07 Claudio Sacerdoti... Do not assert false for a print not implemented yet.
2014-03-07 Claudio Sacerdoti... Hocus-pocus code to use the old (and deprecated) implem...
2014-03-04 Claudio Sacerdoti... Bug fixed: the tactic to analyze the term and understan...
2014-03-04 Claudio Sacerdoti... OCaml 4.0 detects a not handled case.
2014-03-04 Claudio Sacerdoti... Different behaviour of OCaml 4.0.
2013-11-25 Ferruccio Guidi- xoa: the definitions file now includes the notations...
2013-11-01 Ferruccio Guidi- lambdadelta: first commutation property on lazy equiv...
2013-10-27 Ferruccio Guidi- lambdadelta: tentative definition of lazy equivalence...
2013-08-09 Ferruccio Guidi- matitadep: new option -t to list the unreferenced...
2013-07-27 Ferruccio Guidi- probe: critical bug fixed (all objects were deleted...
2013-07-26 Ferruccio Guidilambdadelta
2013-04-17 Wilmer RicciottiFixes a bug which caused Meta_not_found exceptions...
2013-04-09 Wilmer RicciottiFixes a bug that caused an assertion failure when no...
2013-03-20 Ferruccio Guidi- probe: recursive removal of empty directories
2013-03-16 Ferruccio Guidi- lambdadelta: last recursive part of preservation...
2013-03-13 Ferruccio Guidi- lambdadelta: third recursive part of preservation...
2013-03-10 Ferruccio Guidiwe removed a useless assertion that was forcing matita...
2013-03-04 Claudio Sacerdoti... Bug fixed: let-rec defined propositions are no longer...
2013-03-03 Ferruccio Guidi- lambdadelta: we removed focalized reduction from...
2013-02-27 Claudio Sacerdoti... Quick patch: the maxmeta is now pushed/popped when...
2013-02-27 Claudio Sacerdoti... Bug fixed: composite coercions were not extracted.
2013-02-27 Claudio Sacerdoti... Bug fixed that reveals a new one: in case of inductive...
2013-02-27 Claudio Sacerdoti... Ferruccio's removal of objects commented out because...
2013-02-25 Ferruccio Guidiwhen we serialize the contents of a .ma, we remove...
2013-02-24 Ferruccio Guidi- nUri : added Sets of uris for use in "probe"
2013-02-06 Ferruccio Guidi- lambdadelta: more service lemmas ...
2013-02-05 Ferruccio Guidisome missing files ...
2013-02-04 Claudio Sacerdoti... Bug fixed: "open X" were not printed in .mli because...
2013-02-04 Claudio Sacerdoti... Flushing needed before closing the channel.
2013-02-04 Claudio Sacerdoti... Improved exception handling.
2013-02-04 Claudio Sacerdoti... Bug fixed in pretty printing of mutual inductive types.
2013-02-04 Claudio Sacerdoti... Bug fixed: the indty can be typed with a Prod, not...
2013-02-04 Claudio Sacerdoti... Pretty printing of ocaml files slightly improved.
2013-02-04 Claudio Sacerdoti... Last known bug unrelated to names fixed: a fixpoint...
2013-02-02 Claudio Sacerdoti... Ooops, this completes the previous commit (ocaml extrac...
2013-02-02 Claudio Sacerdoti... Implementation of Ocaml extraction (largely ported...
2013-02-02 Claudio Sacerdoti... Identity change, improves readability.
2013-02-01 Ferruccio Guidi- ng_refiner:
2013-01-06 Ferruccio Guididependences update
2013-01-01 Ferruccio Guidi- probe: new application to compute some data on the...
2012-12-28 Ferruccio Guidixoa: change in naming convenctions for existential...
2012-12-06 Claudio Sacerdoti... Bug fixed: %n was badly failing (with Failure "nth...
2012-12-06 Wilmer RicciottiFixes a bug in NCicElim.pp (term -> ast conversion...
2012-11-09 Ferruccio Guidi- mac (ma count)
next