On Fri, 11 Apr 2014, Tobias Nipkow wrote:
What I sometimes need is to have the latex files generated but not
processed. Currently I achieve this with a dummy root.tex file that
includes nothing. Is there a less dummy way?
There is no need for root.tex and latex to produce a dummy root.pdf.
T
What I sometimes need is to have the latex files generated but not processed.
Currently I achieve this with a dummy root.tex file that includes nothing. Is
there a less dummy way? Something like "document=tex" as an alternative to
"document=pdf" comes to mind.
Thanks
Tobias
On 11/04/2014 13:30, M
I consider this twofold renaming of directories pointless, and as you know, it
required a twofold update in some other theories of mine. I guess I should
have stated my displeasure earlier but thought that since Makarius had already
stated he didn't even see the problem, this would discourage you.
>> When inspecting the ROOT file I saw the session name for »ZF-Logics« and
>> gave that some authority.
>>
>> Maybe it is best if I will move on »ZF_Logics« etc. in yet another
>> iteration to get rid of these historic names. At least that made the
>> confusion apparent.
>
> I still don't unders
* Session ROOT specifications support explicit 'document_files' for
robust dependencies on LaTeX sources. Only these explicitly given
files are copied to the document output directory, before document
processing is started.
This refers to Isabelle/cd8b6d849b6a. That changeset also contains som
On Fri, 11 Apr 2014, stvienna wiener wrote:
2014-04-02 10:47 GMT+02:00 Makarius :
On Wed, 2 Apr 2014, stvienna wiener wrote:
What is your OS and hardware platform (memory, number of cores)?
I am running a 64-bit arch linux distribution, but without any 32-bit
compatibility libraries.
Ins
On Fri, 11 Apr 2014, stvienna wiener wrote:
quad core i7 cpu (i7-3720QM CPU @ 2.60GHz; Isabelle "sees" 8 workers)
This is a relatively recent CPU, with the typical hyperthreading of Intel.
Since that is used by default, you are mostly burning a lot of CPU cycles
without much gain. An explic
On Fri, 11 Apr 2014, Matthew Fernandez wrote:
Previously when I found Isabelle/jEdit choking due to JVM memory exhaustion I
stuck this in my
~/.isabelle/etc/settings:
JEDIT_JAVA_OPTIONS="${JEDIT_JAVA_OPTIONS} -Xmx4096m"
This increases the JVM heap size to 4GB. Having said that, the Java excep