History log of /seL4-l4v-master/l4v/isabelle/src/HOL/Tools/Sledgehammer/async_manager_legacy.ML
Revision Date Author Comments
# 75c0bb14 13-Aug-2016 blanchet <none@none>

killed final stops in Sledgehammer and friends
# 185dcd47 02-Apr-2016 wenzelm <none@none>

prefer infix operations;
# ebff3653 03-Nov-2015 wenzelm <none@none>

clarified modules;

--HG--
rename : src/Pure/Concurrent/simple_thread.ML => src/Pure/Concurrent/standard_thread.ML
rename : src/Pure/Concurrent/simple_thread.scala => src/Pure/Concurrent/standard_thread.scala
# 0ef6756d 02-Oct-2015 blanchet <none@none>

further reduced dependency on legacy async thread manager
# c65ed5e8 21-Jul-2015 wenzelm <none@none>

more explicit thread identification;
# 3c4cd10c 29-Jan-2015 wenzelm <none@none>

more explicit indication of Async_Manager_Legacy as Proof General legacy;

--HG--
rename : src/HOL/Tools/Sledgehammer/async_manager.ML => src/HOL/Tools/Sledgehammer/async_manager_legacy.ML