src/Pure/IsaMakefile
changeset 44247 270366301bd7
parent 44121 44adaa6db327
child 44698 0385292321a0
equal deleted inserted replaced
44246:380a4677c55d 44247:270366301bd7
    58   Concurrent/cache.ML					\
    58   Concurrent/cache.ML					\
    59   Concurrent/future.ML					\
    59   Concurrent/future.ML					\
    60   Concurrent/lazy.ML					\
    60   Concurrent/lazy.ML					\
    61   Concurrent/lazy_sequential.ML				\
    61   Concurrent/lazy_sequential.ML				\
    62   Concurrent/mailbox.ML					\
    62   Concurrent/mailbox.ML					\
       
    63   Concurrent/par_exn.ML					\
    63   Concurrent/par_list.ML				\
    64   Concurrent/par_list.ML				\
    64   Concurrent/par_list_sequential.ML			\
    65   Concurrent/par_list_sequential.ML			\
    65   Concurrent/simple_thread.ML				\
    66   Concurrent/simple_thread.ML				\
    66   Concurrent/single_assignment.ML			\
    67   Concurrent/single_assignment.ML			\
    67   Concurrent/single_assignment_sequential.ML		\
    68   Concurrent/single_assignment_sequential.ML		\