#
fda5e1b6 |
|
07-Apr-2016 |
wenzelm <none@none> |
simplified default print_depth: context is usually available, in contrast to 0d295e339f52;
|
#
2bef420f |
|
07-Apr-2016 |
wenzelm <none@none> |
clarified bootstrap of @{make_string} -- avoid query on ML environment;
|
#
92e958ff |
|
05-Apr-2016 |
wenzelm <none@none> |
clarified modules -- simplified bootstrap;
|
#
28742942 |
|
02-Apr-2016 |
wenzelm <none@none> |
tuned signature;
|
#
fd5f3b5a |
|
02-Apr-2016 |
wenzelm <none@none> |
careful export of type-dependent functions, without losing their special status;
|
#
47ce7942 |
|
01-Apr-2016 |
wenzelm <none@none> |
adapted to Poly/ML repository version 2e40cadc975a;
|
#
c5b12b18 |
|
25-Mar-2016 |
wenzelm <none@none> |
avoid hardwired values;
|
#
cf373f71 |
|
18-Mar-2016 |
wenzelm <none@none> |
clarified print depth;
|
#
13be7d54 |
|
18-Mar-2016 |
wenzelm <none@none> |
clarified modules; tuned signature;
|
#
f0caccd4 |
|
17-Mar-2016 |
wenzelm <none@none> |
@{make_string} is available during Pure bootstrap;
|
#
6b8a9591 |
|
17-Mar-2016 |
wenzelm <none@none> |
clarified modules;
|
#
866c57fc |
|
03-Mar-2016 |
wenzelm <none@none> |
discontinued RAW session: bootstrap directly from isabelle_process RAW_ML_SYSTEM; --HG-- rename : src/Pure/RAW/multithreading.ML => src/Pure/Concurrent/multithreading.ML rename : src/Pure/RAW/unsynchronized.ML => src/Pure/Concurrent/unsynchronized.ML rename : src/Pure/RAW/exn.ML => src/Pure/General/exn.ML rename : src/Pure/RAW/exn.scala => src/Pure/General/exn.scala rename : src/Pure/RAW/secure.ML => src/Pure/General/secure.ML rename : src/Pure/RAW/fixed_int_dummy.ML => src/Pure/ML/fixed_int_dummy.ML rename : src/Pure/RAW/ml_compiler0.ML => src/Pure/ML/ml_compiler0.ML rename : src/Pure/RAW/ml_debugger.ML => src/Pure/ML/ml_debugger.ML rename : src/Pure/RAW/ml_heap.ML => src/Pure/ML/ml_heap.ML rename : src/Pure/RAW/ml_name_space.ML => src/Pure/ML/ml_name_space.ML rename : src/Pure/RAW/ml_pretty.ML => src/Pure/ML/ml_pretty.ML rename : src/Pure/RAW/ml_profiling.ML => src/Pure/ML/ml_profiling.ML rename : src/Pure/RAW/ml_system.ML => src/Pure/ML/ml_system.ML
|