]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7c86bc0) | patch
0.5.9 released
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 23 Dec 2014 10:30:50 +0000 (10:30 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 23 Dec 2014 10:30:50 +0000 (10:30 +0000)
commit5b05d943dc8ebfe10e8932795f7f7aa8ef0b4ebc
treea57b1b4370d931f4695db73caad7bf87a54b21e0tree | snapshot
parent7c86bc0cda903d7cac66e2d4cb81bca345b4b5bccommit | diff
0.5.9 released
195 files changed:
helm/www/matita/FILES/matita-0.5.8.orig.tar.gz [new file with mode: 0644] blob
helm/www/matita/FILES/matita-0.5.9.tar.gz [new file with mode: 0644] blob
helm/www/matita/FILES/matita-0.99.1.iso [new file with mode: 0644] blob
helm/www/matita/FILES/matita-0.99.1.tar.gz [new file with mode: 0644] blob
helm/www/matita/FILES/matita-doc_0.5.9_all.deb [new file with mode: 0644] blob
helm/www/matita/FILES/matita_0.5.9_amd64.deb [new file with mode: 0644] blob
helm/www/matita/FILES/matita_0.99.1.orig.tar.gz [new file with mode: 0644] blob
helm/www/matita/PAPERS/lmcs_types_2010.pdf [new file with mode: 0644] blob
helm/www/matita/PAPERS/nonunifcoerc.pdf [new file with mode: 0644] blob
helm/www/matita/PAPERS/plmms09.pdf [new file with mode: 0644] blob
helm/www/matita/PAPERS/sadhana.pdf [new file with mode: 0644] blob
helm/www/matita/PAPERS/smart.pdf [new file with mode: 0644] blob
helm/www/matita/PAPERS/system_description2011.pdf [new file with mode: 0644] blob
helm/www/matita/PAPERS/tphol09.pdf [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/Makefile [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/TODO [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/WrtCoq.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/authoring.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/axiom_definition_declaration.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/ch05s02.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/cicbrowser.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/command_check.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/command_coercion.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/command_default.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/command_eval.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/command_hint.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/command_include.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/command_include_first.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/command_inline.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/command_prefer_coercion.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/command_qed.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/command_whelp.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/declarative_tactics_quickref.xml [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/docbook.css [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/figures/database.dia [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/figures/database.png [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/figures/matita.png [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/figures/vbox1.png [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/figures/vbox2.png [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/figures/vbox3.png [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/figures/vbox35.png [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/figures/vbox4.png [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/figures/vbox5.png [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/figures/vbox6.png [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/figures/vbox7.png [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/html-stamp [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/index.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/inst_from_src.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/legal.xml [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/matita.conf.xml.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/matita.pdf [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/matita.txt [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/matita.xml [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/pdf-stamp [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/proofs.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/proofstatus.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/quickref-stamp [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/scripts/fix-symbols.sh [new file with mode: 0755] blob
helm/www/matita/docs/manual-0.5.9/sec_commands.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/sec_commands.xml [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/sec_declarative_tactics.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/sec_declarative_tactics.xml [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/sec_gettingstarted.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/sec_gettingstarted.xml [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/sec_install.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/sec_install.xml [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/sec_intro.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/sec_intro.xml [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/sec_license.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/sec_license.xml [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/sec_tacticals.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/sec_tacticals.xml [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/sec_tactics.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/sec_tactics.xml [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/sec_terms.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/sec_terms.xml [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/sec_usernotation.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/sec_usernotation.xml [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_absurd.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_andelim.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_apply.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_applyS.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_assume.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_assumption.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_auto.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_bydone.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_byinduction.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_bytermweproved.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_case.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_cases.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_change.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_clear.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_clearbody.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_compose.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_constructor.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_contradiction.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_cut.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_decompose.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_demodulate.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_destruct.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_elim.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_elimType.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_exact.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_exists.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_exitselim.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_fail.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_fold.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_fourier.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_fwd.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_generalize.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_id.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_intro.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_intros.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_inversion.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_lapply.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_left.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_letin.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_normalize.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_obtain.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_reflexivity.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_replace.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_rewrite.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_right.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_ring.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_simplify.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_split.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_subst.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_suppose.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_symmetry.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_thesisbecomes.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_transitivity.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_unfold.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_weneedtoprove.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_weproceedbycases.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_weproceedbyinduction.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tac_whd.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tactic_quickref.xml [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tacticals.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tacticargs.html [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/tactics_quickref.xml [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/version.txt [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/version.txt.in [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/xhtml1-transitional.dtd [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/xsl/matita-fo.xsl [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/xsl/matita-xhtml.xsl [new file with mode: 0644] blob
helm/www/matita/docs/manual-0.5.9/xsl/tactic_quickref.xsl [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/cover.png [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/def-fish-rec-1.png [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/def-fish-rec-2-1.png [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/def-fish-rec-2.png [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/def-fish-rec-3.png [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/def-fish-rec-5-1.png [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/def-fish-rec-5.png [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/def-fish-rec-6.png [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/def-fish-rec-7.png [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/def-fish-rec-9.png [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/igft-CIC-universes.svg [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/igft-minimality-CIC.svg [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/igft.html [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/igft.pdf [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/n-cov-inf-1.png [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/n-cov-inf-2.png [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/n-cov-inf-3.png [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/n-cov-inf-4.png [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/n-cov-inf-5.png [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/n-cov-inf-6.png [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/n-cov-inf-7.png [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/n-cov-inf-8.png [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/n-cov-inf-9.png [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/n-cov-min-2.png [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/n-cov-min-3.png [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/n-cov-min-4.png [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/n-cov-min-5.png [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/n-f-compat-1.png [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/n-f-compat-2.png [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/n-f-compat-3.png [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/n-f-compat-4.png [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/n-f-compat-5.png [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/n-f-compat-6.png [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/n-f-max-1.png [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/retr-1.png [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/retr-2.png [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/retr-3.png [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/retr-4.png [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/retr2.png [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/sh_gedit.css [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/sh_grafite.js [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/sh_main.js [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/xcover-set-1.png [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/xcover-set-2.png [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/xcover-set-3.png [new file with mode: 0644] blob
helm/www/matita/docs/tutorial/xcover-set-4.png [new file with mode: 0644] blob
helm/www/matita/download.shtml diff | blob | history
helm/www/matita/library.shtml diff | blob | history
helm/www/matita/news.shtml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.