Revision - c4c4748 - adding an option to print debug verbose in "rewrite <<*>> ..." [...]

Revision c4c4748ff4cd70a79d5a19fd2adf499f5c132524 authored by Cécile BARITEL-RUET on 14 February 2019, 13:33:20 UTC, committed by Cécile BARITEL-RUET on 14 February 2019, 13:33:20 UTC

adding an option to print debug verbose in "rewrite <<*>> ..." and "move <<*>> => /..."

1 parent f573272

Files
Changes

Permalinks

File	Mode	Size
algebra
analysis
core
crypto
datatypes
distributions
encryption
looping
modules
newth
oldlibs
prelude
query_counting
structure
tactics

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...

Browse the archive

adding an option to print debug verbose in "rewrite <<>> ..." and "move <<>> => /..."