| 2017-10-02 | wenzelm | option -S for "isabelle build"; | changeset | files |
| 2017-10-01 | wenzelm | persistent storage of imported_sources; | changeset | files |
| 2017-10-01 | wenzelm | cache sources: invoke SHA1.digest at most once; | changeset | files |
| 2017-10-01 | wenzelm | tuned; | changeset | files |
| 2017-10-02 | blanchet | repaired small incident | changeset | files |
| 2017-10-01 | blanchet | updated SMT certificates and added one test | changeset | files |
| Loading... | |||