]> matita.cs.unibo.it Git - helm.git/commit
manual commit after active hyperlinks
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 6 Jul 2012 12:29:30 +0000 (12:29 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 6 Jul 2012 12:29:30 +0000 (12:29 +0000)
commitc0ac63fead67ea1902e3d923ce877a2779cf501e
treef44f0e02b5a0134996fa2a31924a91bfed1555ad
parent7f6235dca57343e63217316b6415599daef7d4aa
manual commit after active hyperlinks
20 files changed:
weblib/arithmetics/nat.ma
weblib/basics/bool.ma
weblib/basics/jmeq.ma
weblib/basics/list.ma
weblib/basics/list2.ma
weblib/basics/logic.ma
weblib/basics/relations.ma
weblib/basics/types.ma
weblib/hints_declaration.ma
weblib/test.ma
weblib/tutorial/chapter1.ma
weblib/tutorial/chapter10.ma
weblib/tutorial/chapter2.ma
weblib/tutorial/chapter3.ma
weblib/tutorial/chapter4.ma
weblib/tutorial/chapter5.ma
weblib/tutorial/chapter6.ma
weblib/tutorial/chapter7.ma
weblib/tutorial/chapter8.ma
weblib/tutorial/chapter9.ma