| Fri, 09 Jun 2017 17:13:50 +0200 | wenzelm | provide information about Isabelle symbols within VSCode; | changeset | files |
| Fri, 09 Jun 2017 16:59:14 +0200 | wenzelm | tuned signature; | changeset | files |
| Fri, 09 Jun 2017 18:36:25 +0200 | eberlm | Cleaned up and extended Probability/Tree_Space | changeset | files |
| Fri, 09 Jun 2017 10:10:08 -0400 | hoelzl | HOL-Probability: use tree datastructure from Libary/Tree; hide left/right/var projections | changeset | files |
| Fri, 09 Jun 2017 14:25:00 +0200 | wenzelm | avoid markup, for the sake of Build_Log.Log_File.parse_props; | changeset | files |
| Fri, 09 Jun 2017 13:56:32 +0200 | wenzelm | more robust: store important meta info before potential failure; | changeset | files |
| Fri, 09 Jun 2017 13:42:17 +0200 | wenzelm | tuned message; | changeset | files |