matita.cs.unibo.it Git - helm.git/history

]> matita.cs.unibo.it Git - helm.git/history - matita/components

2023-02-14	Claudio Sacerdoti...	mod change (-x)	tree \| commitdiff
2023-02-14	Ferruccio Guidi	unused componentsConf module removed	tree \| commitdiff
2023-02-14	Ferruccio Guidi	auxiliary executables (xoa, matitadep, probe, matex...	tree \| commitdiff
2023-02-14	Claudio Sacerdoti...	revert from camlp5o to standard syntax	tree \| commitdiff
2023-02-14	Claudio Sacerdoti...	Dependency on ocaml_http replaced by ocaml_http_stubs...	tree \| commitdiff
2023-02-14	Claudio Sacerdoti...	camlp5.gramlib does not pull in camlp-streams by default	tree \| commitdiff
2023-02-14	Claudio Sacerdoti...	registry already did not depend on ocamlnet any more	tree \| commitdiff
2023-02-14	Claudio Sacerdoti...	All previously auto-generated files from *.in committed	tree \| commitdiff
2023-02-14	Claudio Sacerdoti...	METAS removed + matita.conf.xml committed	tree \| commitdiff
2023-02-14	Claudio Sacerdoti...	Drop zip dependency (no longer used)	tree \| commitdiff
2023-02-14	Claudio Sacerdoti...	Remove all traces of autoconf/automake/makefile	tree \| commitdiff
2023-02-14	Claudio Sacerdoti...	comment removed	tree \| commitdiff
2023-02-14	Claudio Sacerdoti...	Makefiles removed in favour of dune-only solution	tree \| commitdiff
2023-02-14	Claudio Sacerdoti...	componentsConf is unused (and automatically generated)	tree \| commitdiff
2023-02-14	Claudio Sacerdoti...	Remove dandling symbolic links from the repository	tree \| commitdiff
2023-02-14	Claudio Sacerdoti...	make_table is now private (= not installed)	tree \| commitdiff
2023-02-14	Claudio Sacerdoti...	Enable "dune build -p matita" + version bumped to 0...	tree \| commitdiff
2023-02-14	Claudio Sacerdoti...	Fix "dune build" for syntax_extensions	tree \| commitdiff
2023-02-14	Claudio Sacerdoti...	Preliminary support for dune	tree \| commitdiff
2023-02-14	Claudio Sacerdoti...	Use of standard OCaml syntax	tree \| commitdiff
2023-02-14	Claudio Sacerdoti...	Porting to ocaml 5	tree \| commitdiff
2023-02-04	Claudio Sacerdoti...	mod change (-x)	tree \| commitdiff
2023-01-10	Ferruccio Guidi	unused componentsConf module removed	tree \| commitdiff
2023-01-10	Ferruccio Guidi	auxiliary executables (xoa, matitadep, probe, matex...	tree \| commitdiff
2023-01-05	Claudio Sacerdoti...	revert from camlp5o to standard syntax	tree \| commitdiff
2023-01-05	Claudio Sacerdoti...	Dependency on ocaml_http replaced by ocaml_http_stubs...	tree \| commitdiff
2023-01-05	Claudio Sacerdoti...	camlp5.gramlib does not pull in camlp-streams by default	tree \| commitdiff
2023-01-05	Claudio Sacerdoti...	registry already did not depend on ocamlnet any more	tree \| commitdiff
2023-01-03	Claudio Sacerdoti...	All previously auto-generated files from *.in committed	tree \| commitdiff
2023-01-03	Claudio Sacerdoti...	METAS removed + matita.conf.xml committed	tree \| commitdiff
2023-01-03	Claudio Sacerdoti...	Drop zip dependency (no longer used)	tree \| commitdiff
2023-01-03	Claudio Sacerdoti...	Remove all traces of autoconf/automake/makefile	tree \| commitdiff
2023-01-03	Claudio Sacerdoti...	comment removed	tree \| commitdiff
2023-01-03	Claudio Sacerdoti...	Makefiles removed in favour of dune-only solution	tree \| commitdiff
2023-01-03	Claudio Sacerdoti...	componentsConf is unused (and automatically generated) make_still_working	tree \| commitdiff
2023-01-02	Claudio Sacerdoti...	Remove dandling symbolic links from the repository	tree \| commitdiff
2023-01-02	Claudio Sacerdoti...	make_table is now private (= not installed)	tree \| commitdiff
2023-01-02	Claudio Sacerdoti...	Enable "dune build -p matita" + version bumped to 0...	tree \| commitdiff
2023-01-02	Claudio Sacerdoti...	Fix "dune build" for syntax_extensions	tree \| commitdiff
2023-01-02	Claudio Sacerdoti...	Preliminary support for dune	tree \| commitdiff
2023-01-02	Claudio Sacerdoti...	Use of standard OCaml syntax	tree \| commitdiff
2022-12-30	Claudio Sacerdoti...	Porting to ocaml 5	tree \| commitdiff
2022-01-18	Ferruccio Guidi	update in grafite parser	tree \| commitdiff
2021-05-29	Ferruccio Guidi	probe	tree \| commitdiff
2021-05-29	Ferruccio Guidi	nCicLibrary	tree \| commitdiff
2021-05-28	Ferruccio Guidi	cic notation parser	tree \| commitdiff
2021-03-18	Ferruccio Guidi	grafite parser updated	tree \| commitdiff
2021-02-28	Ferruccio Guidi	update in ground	tree \| commitdiff
2020-01-25	Ferruccio Guidi	update in basic_2 + new tool "roles"	tree \| commitdiff
2020-01-18	Ferruccio Guidi	update in lambdadelta	tree \| commitdiff
2019-11-18	Ferruccio Guidi	update for the article	tree \| commitdiff
2019-11-09	Ferruccio Guidi	updated probe and matitadep	tree \| commitdiff
2019-10-18	Ferruccio Guidi	Merge 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 Guidi	some added lemmas removed from auto	tree \| commitdiff
2019-10-01	Ferruccio Guidi	Merge remote-tracking branch 'origin/matita-lablgtk3'	tree \| commitdiff
2019-09-29	Ferruccio Guidi	matita gtk3: some bugs fixed matita-lablgtk3	tree \| commitdiff
2019-09-29	Ferruccio Guidi	Merge 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 Berlingieri	Change Sort.merge (deprecated) with List.merge	tree \| commitdiff
2019-09-27	Andrea Berlingieri	Test pretty printg of declarative tactics	tree \| commitdiff
2019-09-27	Andrea Berlingieri	Make 'that is equivalent to' a standalone tactic	tree \| commitdiff
2019-09-27	Andrea Berlingieri	Many changes	tree \| commitdiff
2019-09-27	Andrea Berlingieri	Fix indentation	tree \| commitdiff
2019-09-27	Andrea Berlingieri	Add support for proving cases in a different order	tree \| commitdiff
2019-09-27	Andrea Berlingieri	Add last declarative tactics, modify rewriting tactics	tree \| commitdiff
2019-09-27	Andrea Berlingieri	Changes to declarative tactics, implementation of equal...	tree \| commitdiff
2019-09-27	Andrea Berlingieri	Many changes	tree \| commitdiff
2019-09-27	Andrea Berlingieri	Add drafts for some tactics	tree \| commitdiff
2019-09-27	Andrea Berlingieri	Partially restore the suppose tactic	tree \| commitdiff
2019-09-27	Andrea Berlingieri	Partially restore the assume tactic	tree \| commitdiff
2019-09-27	Claudio Sacerdoti...	...	tree \| commitdiff
2019-09-27	Ferruccio Guidi	patches 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 Guidi	more additions and corrections for the article	tree \| commitdiff
2019-01-08	Ferruccio Guidi	patches 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 Guidi	xoa utility updated	tree \| commitdiff
2018-12-19	Claudio Sacerdoti...	On-going porting to lablgtk3	tree \| commitdiff
2018-09-13	Ferruccio Guidi	dependences for ocaml version 4.05.0	tree \| commitdiff
2018-08-01	Ferruccio Guidi	parameter sintax added to axiom statement	tree \| commitdiff
2018-07-14	Ferruccio Guidi	updated xoa and predefined virtuals	tree \| commitdiff
2018-04-16	Ferruccio Guidi	update in basic_2 and ground_2	tree \| commitdiff
2018-04-05	Ferruccio Guidi	bug fixed in xoa generator	tree \| commitdiff
2018-02-02	Ferruccio Guidi	xoa updated	tree \| commitdiff
2018-01-05	Ferruccio Guidi	updated depend files	tree \| commitdiff
2017-12-28	Claudio Sacerdoti...	.depend{.opt} files changed	tree \| commitdiff
2017-05-17	Ferruccio Guidi	component utf8_macros fully renamed	tree \| commitdiff
2017-05-17	Ferruccio Guidi	component syntax_extensions was not declared	tree \| commitdiff
2017-03-31	Ferruccio Guidi	removed unused timeout flag	tree \| commitdiff
2017-03-31	Ferruccio Guidi	removing 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 Guidi	lexer updated with the new reference syntax +	tree \| commitdiff
next

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom