Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. added simp-lemma
  2. support for OCaml via command-line tools;
  3. isabelle_opam as portable shell function;
Changeset 69136:d4baf535f845 by nipkow:
added simp-lemma
The file was modified src/HOL/List.thy (diff)
Changeset 69135:be20f5f6feb9 by wenzelm:
support for OCaml via command-line tools;
The file was addedlib/Tools/ocaml
The file was addedlib/Tools/ocaml_opam
The file was addedlib/Tools/ocaml_setup
The file was addedlib/Tools/ocamlc
The file was modified NEWS (diff)
The file was modified etc/settings (diff)
The file was modified lib/scripts/getsettings (diff)
Changeset 69134:a142ec271d83 by wenzelm:
isabelle_opam as portable shell function;
The file was addedAdmin/ocaml/opam/README
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified etc/settings (diff)
The file was modified lib/scripts/getfunctions (diff)