From: Andrea Berlingieri <andrea.berlingieri42@gmail.com>
Date: Thu, 26 Sep 2019 20:33:51 +0000 (+0200)
Subject: Test pretty printg of declarative tactics
X-Git-Tag: make_still_working~229^2~1^2~1^2~1
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=aad5588b82d0f2991c336f7ac2f3fadd76768eeb;hp=aad5588b82d0f2991c336f7ac2f3fadd76768eeb;p=helm.git

Test pretty printg of declarative tactics

Fix indentation in grafiteAstPp.ml and matitaEnginge.ml with ocp-indent

Add a comment and remove dead code in declarative.ml

Turn off automation weakenings

Generate new .depend files for ng_tactics, syntax_extensions

Add a function that prints a tactic term with the user defined notation
in applyTransformation

Add a function that pretty prints the tactics ASTs to a file while a
script is being parsed and executed
---