Age | Commit message (Collapse) | Author | |
---|---|---|---|
2022-08-17 | learn-acl2: Fix repository name.HEADmaster | Masaya Tojo | |
2022-08-17 | learn-acl2: Refactor. | Masaya Tojo | |
2022-08-17 | learn-acl2: Make executable. | Masaya Tojo | |
2022-08-17 | learn-acl2: Add learn-acl2. | Masaya Tojo | |