Re: [isabelle] Document Preparation System - Windows
Thanks for your remarks. Yes, it works, but I would like to get rid of
those warnings (if possible).
I did not have this issue with Isabelle 2014.
I installed a fresh copy of Isabelle 2015. But the same problem occurs;
>If you try "locale -uU" manually on the command line, what does it show?
Alfio at isabelle ~/Desktop/Isabelle2015
$ locale -uU
>You can also replace the expression $(/usr/bin/locale -uU) by "pt_BR.utf8"
or even just "C".
I tried both options but it did not work.
Thanks anyway! In the worst case scenario, I will download Isabelle2014 for
On Fri, Oct 23, 2015 at 6:01 PM, Makarius <makarius at sketis.net> wrote:
> On Wed, 21 Oct 2015, Alfio Martini wrote:
> This is the first time I am using the document preparation system in
>> Isabelle 2015 (Windows). It works, but there are plenty of warning/error
>> messages concerning Perl. Image is attached.
> I see merely warnings here: the document should have been produced
> The reason why perl complains: the environment variable LANG is set to
> "PT", but that does not conform to any of the POSIX locales. E.g. try this
> on the Cygwin command-line:
> $ locale -a | grep -i pt
> pt_PT at euro
> I guess that you want pt_BR.utf8. This can be enforced by editing
> /etc/profile.d/lang.sh for example.
> If you are unfamiliar with the Cygwin command-line and its POSIX tools
> (like vi) you can edit the file with Isabelle/jEdit under the Windows name
> The end of the last line looks like this:
> export LANG=$(/usr/bin/locale -uU)
> If you try "locale -uU" manually on the command line, what does it show?
> You can also replace the expression $(/usr/bin/locale -uU) by "pt_BR.utf8"
> or even just "C".
> Another source of problems might be an already existing LANG variable with
> a bad value.
Alfio Ricardo Martini
PhD in Computer Science (TU Berlin)
Associate Professor at Faculty of Informatics (PUCRS)
Av. Ipiranga, 6681 - PrÃdio 32 - Faculdade de InformÃtica
90619-900 -Porto Alegre - RS - Brasil
This archive was generated by a fusion of
Pipermail (Mailman edition) and