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