isabelle-snippets, branch mainIsabelle LaTeX snippets, in Isabelle
fix: hash names in case of spaces in first command arg2025-09-24T14:56:53+00:00terru2025-09-24T14:56:22+00:00cf2bc14614eb94575d5949d8a693d9057dcfe34f
initial snippet generation2025-04-22T11:56:13+00:00terru2025-04-22T11:32:39+00:002f031e360bc8bd0621e6e79d3a5f732548d920c7
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.
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.