| Commit message (Collapse) | Author | Files | Lines | ||
|---|---|---|---|---|---|
| 2025-09-24 | fix: hash names in case of spaces in first command argHEADmain | terru | 1 | -1/+1 | |
| 2025-04-22 | initial snippet generation | terru | 1 | -0/+126 | |
| this is the result of some hacking during off-hours at mgs25, patched into a mostly-working state. In use for at least one paper already, so it should hopefully work for most "basic" theories and possibly more complex ones. | |||||
 |
index : isabelle-snippets | |
| Isabelle LaTeX snippets, in Isabelle |
| aboutsummaryrefslogtreecommitdiff |