| 2015-12-30 | wenzelm | more symbols; | changeset | files |
| 2015-12-30 | wenzelm | clarified print modes; | changeset | files |
| 2015-12-30 | wenzelm | updated print modes; | changeset | files |
| 2015-12-30 | wenzelm | modernized Isabelle document markup; | changeset | files |
| 2015-12-30 | wenzelm | clarified print modes: Isabelle symbols are used by default, but "latex" mode needs to be for some syntax forms; | changeset | files |
| 2015-12-30 | wenzelm | clarified print modes; | changeset | files |
| 2015-12-30 | wenzelm | more symbols; | changeset | files |
| 2015-12-30 | wenzelm | more symbols; | changeset | files |
| 2015-12-30 | wenzelm | removed junk; | changeset | files |
| 2015-12-30 | wenzelm | more symbols; | changeset | files |
| 2015-12-30 | wenzelm | clarified print modes; | changeset | files |
| 2015-12-30 | wenzelm | clarified print modes; | changeset | files |
| Loading... | |||