]> matita.cs.unibo.it Git - helm.git/commit
bugfix ind docbook code for the relise of matita 0.99.3
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 18 May 2016 15:35:39 +0000 (15:35 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 18 May 2016 15:35:39 +0000 (15:35 +0000)
commitfb76056b48cfe5b38fdfae958fd715a22f052950
treee46f4b1c46bd9434dd85131485ea24712511a49d
parente9da8e091898b6e67a2f270581bdc5cdbe80e9b0
bugfix ind docbook code for the relise of matita 0.99.3
matita/matita/help/C/sec_commands.xml
matita/matita/help/C/sec_tactics.xml
matita/matita/help/C/sec_usernotation.xml
matita/matita/help/C/tactics_quickref.xml