View on GitHub
File Changes
Setup
=====

                      
+
```sh
+
export ISABELLE_HOME_USER `isabelle getenv ISABELLE_HOME_USER`
+
```
+

                      
+
To solve problem with locale on Ubuntu
+

                      
+
```sh
+
export LOCALE_ARCHIVE_2_11="$(nix-build --no-out-link "<nixpkgs>" -A glibcLocales)/lib/locale/locale-archive"
+
export LOCALE_ARCHIVE_2_27="$(nix-build --no-out-link "<nixpkgs>" -A glibcLocales)/lib/locale/locale-archive"
+
export LOCALE_ARCHIVE="/usr/bin/locale"
+
```
+

                      
+

                      
To make the Isabelle developments in this directory available to your
Isabelle installation, please add the path of this directory to the file
`$ISABELLE_HOME_USER/ROOTS`. You can find out the value of
The makefile specifies two targets: `properly`, which is the default,
and `qnd`. With `properly`, fake proofs (`sorry`) are not accepted; with
`qnd`, quick-and-dirty mode is used and thus fake proofs are accepted.
-

                      
  name = "issabelleEnv";

                      
  buildInputs = [
-
    isabelle
+
    isabelle perl
+

                      
+
    (texlive.combine {
+
        inherit (texlive)
+
          scheme-small
+

                      
+
           # libraries
+
            stmaryrd
+
        ;
+
    })
  ];

                      
  src = ./.;