Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. simplified;
  3. obsolete;
  4. isabelle console -r" helps to bootstrap Isabelle/Pure;
  5. discontinued RAW session: bootstrap directly from isabelle_process RAW_ML_SYSTEM;
  6. proper return code (cf. faa452d8e265);
  7. clarified isabelle_process;
  8. clarified modules; tuned signature;
  9. clarified modules;
  10. clarified modules;
  11. removed junk;
  12. discontinued polyml-5.3.0;
Changeset 62512:922e702ae8ca by wenzelm:
merged
Changeset 62511:93fa1efc7219 by wenzelm:
simplified;
The file was modified src/Doc/System/Basics.thy (diff)
The file was modified src/HOL/Mirabelle/lib/scripts/mirabelle.pl (diff)
The file was modified src/Tools/Code/code_ml.ML (diff)
Changeset 62510:77a5f21c449b by wenzelm:
obsolete;
The file was modified src/Pure/ML/ml_name_space.ML (diff)
Changeset 62509:13d6948e4b12 by wenzelm:
isabelle console -r" helps to bootstrap Isabelle/Pure;
The file was modified NEWS (diff)
The file was modified lib/Tools/console (diff)
The file was modified src/Doc/System/Misc.thy (diff)
Changeset 62508:d0b68218ea55 by wenzelm:
discontinued RAW session: bootstrap directly from isabelle_process RAW_ML_SYSTEM;
The file was addedsrc/Pure/Concurrent/multithreading.ML
The file was addedsrc/Pure/Concurrent/unsynchronized.ML
The file was addedsrc/Pure/General/exn.ML
The file was addedsrc/Pure/General/exn.scala
The file was addedsrc/Pure/General/secure.ML
The file was addedsrc/Pure/ML/fixed_int_dummy.ML
The file was addedsrc/Pure/ML/ml_compiler0.ML
The file was addedsrc/Pure/ML/ml_debugger.ML
The file was addedsrc/Pure/ML/ml_heap.ML
The file was addedsrc/Pure/ML/ml_name_space.ML
The file was addedsrc/Pure/ML/ml_pretty.ML
The file was addedsrc/Pure/ML/ml_profiling.ML
The file was addedsrc/Pure/ML/ml_system.ML
The file was modified src/Pure/ROOT (diff)
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/build-jars (diff)
The file was removedsrc/Pure/RAW/ROOT_polyml.ML
The file was removedsrc/Pure/RAW/exn.ML
The file was removedsrc/Pure/RAW/exn.scala
The file was removedsrc/Pure/RAW/fixed_int_dummy.ML
The file was removedsrc/Pure/RAW/ml_compiler0.ML
The file was removedsrc/Pure/RAW/ml_debugger.ML
The file was removedsrc/Pure/RAW/ml_heap.ML
The file was removedsrc/Pure/RAW/ml_name_space.ML
The file was removedsrc/Pure/RAW/ml_pretty.ML
The file was removedsrc/Pure/RAW/ml_profiling.ML
The file was removedsrc/Pure/RAW/ml_system.ML
The file was removedsrc/Pure/RAW/multithreading.ML
The file was removedsrc/Pure/RAW/secure.ML
The file was removedsrc/Pure/RAW/unsynchronized.ML
Changeset 62507:15c36c181130 by wenzelm:
proper return code (cf. faa452d8e265);
The file was modified bin/isabelle_process (diff)
Changeset 62506:860cd901ab43 by wenzelm:
clarified isabelle_process;
The file was modified NEWS (diff)
The file was modified bin/isabelle_process (diff)
The file was modified lib/scripts/recode.pl (diff)
The file was modified src/Doc/System/Basics.thy (diff)
The file was removedlib/scripts/run-polyml
Changeset 62505:9e2a65912111 by wenzelm:
clarified modules;<br>tuned signature;
The file was modified src/Doc/Implementation/ML.thy (diff)
The file was modified src/HOL/Matrix_LP/Cplex_tools.ML (diff)
The file was modified src/HOL/Mirabelle/Tools/mirabelle.ML (diff)
The file was modified src/HOL/Nitpick_Examples/Mono_Nits.thy (diff)
The file was modified src/HOL/TPTP/TPTP_Interpret_Test.thy (diff)
The file was modified src/HOL/TPTP/TPTP_Test.thy (diff)
The file was modified src/HOL/Tools/Old_Datatype/old_datatype.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_prover_smt.ML (diff)
The file was modified src/Pure/Concurrent/bash.ML (diff)
The file was modified src/Pure/Concurrent/bash_windows.ML (diff)
The file was modified src/Pure/Concurrent/future.ML (diff)
The file was modified src/Pure/Concurrent/par_exn.ML (diff)
The file was modified src/Pure/Concurrent/par_list.ML (diff)
The file was modified src/Pure/Concurrent/single_assignment.ML (diff)
The file was modified src/Pure/Concurrent/standard_thread.ML (diff)
The file was modified src/Pure/Concurrent/synchronized.ML (diff)
The file was modified src/Pure/General/basics.ML (diff)
The file was modified src/Pure/Isar/runtime.ML (diff)
The file was modified src/Pure/Isar/toplevel.ML (diff)
The file was modified src/Pure/ML/ml_compiler.ML (diff)
The file was modified src/Pure/PIDE/command.ML (diff)
The file was modified src/Pure/PIDE/document.ML (diff)
The file was modified src/Pure/PIDE/protocol.ML (diff)
The file was modified src/Pure/RAW/ROOT_polyml.ML (diff)
The file was modified src/Pure/RAW/exn.ML (diff)
The file was modified src/Pure/RAW/ml_compiler0.ML (diff)
The file was modified src/Pure/ROOT (diff)
The file was modified src/Pure/Syntax/syntax_phases.ML (diff)
The file was modified src/Pure/System/invoke_scala.ML (diff)
The file was modified src/Pure/System/isabelle_process.ML (diff)
The file was modified src/Pure/Tools/debugger.ML (diff)
The file was modified src/Pure/Tools/simplifier_trace.ML (diff)
The file was modified src/Pure/morphism.ML (diff)
The file was modified src/Tools/try.ML (diff)
The file was removedsrc/Pure/RAW/exn_trace.ML
Changeset 62504:f14f17e656a6 by wenzelm:
clarified modules;
The file was modified src/Pure/RAW/ROOT_polyml.ML (diff)
The file was modified src/Pure/RAW/ml_compiler0.ML (diff)
The file was modified src/Pure/RAW/ml_name_space.ML (diff)
The file was modified src/Pure/ROOT (diff)
The file was modified src/Pure/Tools/debugger.ML (diff)
The file was removedsrc/Pure/RAW/ml_positions.ML
Changeset 62503:19afb533028e by wenzelm:
clarified modules;
The file was modified src/Pure/General/linear_set.ML (diff)
The file was modified src/Pure/General/table.ML (diff)
The file was modified src/Pure/ML/exn_output.ML (diff)
The file was modified src/Pure/ML/install_pp_polyml.ML (diff)
The file was modified src/Pure/ML/ml_compiler.ML (diff)
The file was modified src/Pure/RAW/ROOT_polyml.ML (diff)
The file was modified src/Pure/RAW/ml_debugger.ML (diff)
The file was modified src/Pure/RAW/ml_pretty.ML (diff)
Changeset 62502:8857237c3a90 by wenzelm:
removed junk;
The file was modified src/HOL/Nat.thy (diff)
Changeset 62501:98fa1f9a292f by wenzelm:
discontinued polyml-5.3.0;
The file was addedsrc/Pure/RAW/ml_name_space.ML
The file was addedsrc/Pure/RAW/ml_profiling.ML
The file was modified Admin/Release/CHECKLIST (diff)
The file was modified Admin/isatest/settings/at-poly (diff)
The file was modified NEWS (diff)
The file was modified src/Pure/Concurrent/standard_thread.ML (diff)
The file was modified src/Pure/ML/ml_compiler.ML (diff)
The file was modified src/Pure/RAW/ROOT_polyml.ML (diff)
The file was modified src/Pure/RAW/ml_compiler0.ML (diff)
The file was modified src/Pure/RAW/ml_debugger.ML (diff)
The file was modified src/Pure/RAW/multithreading.ML (diff)
The file was modified src/Pure/ROOT (diff)
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/System/system_channel.ML (diff)
The file was removedlib/scripts/run-polyml-5.3.0
The file was removedsrc/Pure/RAW/ROOT_polyml-5.6.ML
The file was removedsrc/Pure/RAW/exn_trace_raw.ML
The file was removedsrc/Pure/RAW/ml_compiler_parameters.ML
The file was removedsrc/Pure/RAW/ml_compiler_parameters_polyml-5.6.ML
The file was removedsrc/Pure/RAW/ml_debugger_polyml-5.6.ML
The file was removedsrc/Pure/RAW/ml_heap_polyml-5.3.0.ML
The file was removedsrc/Pure/RAW/ml_name_space_polyml-5.6.ML
The file was removedsrc/Pure/RAW/ml_name_space_polyml.ML
The file was removedsrc/Pure/RAW/ml_parse_tree.ML
The file was removedsrc/Pure/RAW/ml_parse_tree_polyml-5.6.ML
The file was removedsrc/Pure/RAW/ml_profiling_polyml-5.6.ML
The file was removedsrc/Pure/RAW/ml_profiling_polyml.ML
The file was removedsrc/Pure/RAW/ml_stack_dummy.ML
The file was removedsrc/Pure/RAW/ml_stack_polyml-5.6.ML
The file was removedsrc/Pure/RAW/single_assignment_polyml.ML