| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | initial snippet generationHEADmain | terru | 2025-04-22 | 5 | -0/+236 |
| * | initial commit | terru | 2025-04-22 | 0 | -0/+0 |
 |
index : isabelle-snippets | |
| Isabelle LaTeX snippets, in Isabelle |
| aboutsummaryrefslogtreecommitdiff |