4 years ago 354df5d9cd pompolic

Adding ACL2-compatible printing (ACL2print)

4 years ago 11ecff401f Pompolic

Mark dead code for deletion

4 years ago d02fed1044 Pompolic

Remove superfluous fprintf

4 years ago 2a9a5eb1d0 Pompolic

Style fix

4 years ago 70053d655f Pompolic

Merge branch 'master' of gitlab.special-circumstanc.es:pesco/pdf

4 years ago 162e65e85f Pompolic

Merge branch 'xref-crash-fix-issue-9'

4 years ago f0a0c5e07a Sven M. Hallberg

more TODO

4 years ago 6c9bc1ec4f Sven M. Hallberg

update todo list

4 years ago f31903c8ac pompolic

4 years ago 9dbc08cfd0 Pompolic

Add testcase

4 years ago 27f1f2c2ab Pompolic

Crash fix for !9

4 years ago 17c6bcc389 Pompolic

Fix tabs issue

5 years ago 1191d61e73 Sven M. Hallberg

add 2020 to copyright header

4 years ago 8dfb422b9c Pompolic

Phrasing

5 years ago 1d031337e6 Sven M. Hallberg

intermediate commit: work towards making all of 'obj' LALR

4 years ago 3c43ae86b3 Pompolic

Troubleshooting, interpreting test results

5 years ago 3b3bcd173d Sven M. Hallberg

doc update: pdf 2.0 also has 3 numbers in /W

4 years ago 2759867fa8 Pompolic

Fix indentation issues

5 years ago 3e8827d425 Sven M. Hallberg

ws without SEQ() now suffices for h_act_flatten()

4 years ago c041800a3c Pompolic

Notes on branch usage re-added

5 years ago 260c87942a Sven M. Hallberg

note another accept-and-warn case

4 years ago 900e8c3829 Pompolic

Fix stray whitespace

5 years ago 39cb95f3d7 Sven M. Hallberg

note a common real-world malformation we should accept-and-warn

4 years ago 5a94ffbb87 Pompolic

Merge branch '2020-04-27_RELEASE' of gitlab.special-circumstanc.es:pesco/pdf into 2020-04-27_RELEASE

5 years ago 25596aec22 Sven M. Hallberg

make robj LALR