Summary
- show more build history for AFP;
- more statistics;
- proper base_thys;
- more thorough context tracing;
The file was modified | src/Pure/Admin/isabelle_cronjob.scala (diff) |
The file was modified | src/Pure/Tools/profiling.scala (diff) |
The file was modified | src/Tools/profiling.ML (diff) |
The file was modified | src/Tools/profiling.ML (diff) |
The file was modified | src/Pure/Tools/profiling.scala (diff) |