4 months ago | wenzelm | clarified modules and signature; | changeset | files |
4 months ago | wenzelm | proper fbreaks (amending 53f12ab896e6); | changeset | files |
5 months ago | wenzelm | more inner syntax markup: minor object-logics; | changeset | files |
5 months ago | wenzelm | more inner syntax markup: Pure; | changeset | files |
5 months ago | wenzelm | more markup elements; | changeset | files |
5 months ago | wenzelm | standardize mixfix annotations via "isabelle update -a -u mixfix_cartouches" --- to simplify systematic editing; | changeset | files |
5 months ago | wenzelm | proper Haskell setup, following 406a85a25189; | changeset | files |
Loading... |