History log of /seL4-l4v-master/isabelle/src/Tools/Haskell/Test.thy
Revision Date Author Comments
# c836d733 09-Apr-2019 wenzelm <none@none>

tuned -- prefer Isar command 'compile_generated_files';
# f851d3f9 03-Apr-2019 wenzelm <none@none>

clarified signature: more explicit operations for corresponding Isar commands;
# e09f13ae 16-Jan-2019 Angeliki KoutsoukouArgyraki <ak2110@cam.ac.uk>

updated tagging for 9 theories: Cross3, Determinants, Tagged_Division, Change_of_Vars, Extended_Real_Limits, Fashoda, Finite_Cartesian_Product, Function_Topology, Finite_Product_Measure
# 944374fe 15-Jan-2019 wenzelm <none@none>

added command 'export_generated_files';
clarified signature;
# 5ad0de1d 15-Dec-2018 wenzelm <none@none>

more Haskell operations;
# becc044f 13-Dec-2018 wenzelm <none@none>

more Haskell operations;
# 623982b9 12-Dec-2018 wenzelm <none@none>

more Haskell operations;
# 5bf65a61 10-Dec-2018 wenzelm <none@none>

more Haskell operations;
# a898284f 10-Dec-2018 wenzelm <none@none>

more formal Haskell project setup, with dependencies on packages from "stackage";
# 356fba49 02-Dec-2018 wenzelm <none@none>

clarified signature: allow to add_files/get_files by other tools;
# a662c773 01-Dec-2018 wenzelm <none@none>

clarified modules;

--HG--
rename : src/Pure/Tools/generate_file.ML => src/Pure/Tools/generated_files.ML
# 583055a3 30-Nov-2018 wenzelm <none@none>

more general command 'generate_file' for registered file types, notably Haskell;
discontinued 'generate_haskell_file', 'export_haskell_file';
eliminated generated sources: compile files in tmp dir;
# d9c2c4e2 05-Nov-2018 wenzelm <none@none>

clarified names;

--HG--
rename : src/Tools/Haskell/Build.thy => src/Tools/Haskell/Test.thy