Skip to content

Updating pprint for ACL2 compatibility.

Letitia Li requested to merge letitiali/hammer:patch-1 into pdf

pprint_bytes and h_pprint are modified to print lists in ACL2 format.

Merge request reports