Skip to content
GitLab
Explore
Sign in
Letitia Li
pdf
Repository
Branches
Overview
Active
Stale
All
pdfspecbranch
d12691c5
·
pprint acl2
·
Jun 10, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
pdf_spec_branch
18461d14
·
Adding pdf spec checks
·
Jul 13, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
patch-1
5b530f1c
·
Adding ACL2-compatible printing
·
Jun 03, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
f3f182b7
·
Document changes to xref validation
·
Jun 01, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
2020-04-27_RELEASE
17c6bcc3
·
Fix tabs issue
·
Apr 15, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
eval1
71347f8b
·
comment
·
Apr 09, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
lzw
73f613cd
·
add hackish example file to exercise LZW decoder
·
Mar 09, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
2020-02-27_RELEASE
8aed40f8
·
compile with object streams by default
·
Feb 21, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar