.gitignore - acl2-theorems.git - Proofs with acl2

index : acl2-theorems.git

Proofs with acl2

Masaya Tojo

about summary refs log tree commit diff

path: root/.gitignore

blob: 6f8d6baa6d5208becbf260de858af261d3cdbb07 (about) (plain)

1 2	`*~ temp-emacs-file.lsp`

generated by cgit v1.2.3 (git 2.46.0) at 2024-11-05 19:05:51 +0000