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
On Mon, 7 Apr 2014, Makarius wrote:
Getting acquainted with Isabelle/Scala is definitely a good thing. The
isabelle_scala_script wrapper makes it easy to get started without
interference of the Pure.jar build process.
In this particular case I've accidentally done the work already, when
pas
On Mon, 7 Apr 2014, Florian Haftmann wrote:
Nevertheless I still think its a good idea to spend half an hour to
establish a more strict name correspondance while keeping the
(lowercase) document names stable, e.g.
foo-bar <-:-> Foo_Bar
I now see b266e7a86485 with foo-bar <-:-> Foo-Bar.
I
> 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.
See now http://isabelle.in.tum.de/reports/Isabelle/rev/856492b0f755
Florian
--
PGP available:
http://home.informatik.tu-mue
>> Nevertheless I still think its a good idea to spend half an hour to
>> establish a more strict name correspondance while keeping the
>> (lowercase) document names stable, e.g.
>>
>> foo-bar <-:-> Foo_Bar
>
> I now see b266e7a86485 with foo-bar <-:-> Foo-Bar.
>
> It is still unclear to me w
On Thu, 3 Apr 2014, Florian Haftmann wrote:
Otherwise any reform of this little aministrative problem of Isabelle
repository versions is one of the build_doc command line: there is no
need to specify the session here, it could just name the
"document_variant" instead (but that would mean to rewr
> Otherwise any reform of this little aministrative problem of Isabelle
> repository versions is one of the build_doc command line: there is no
> need to specify the session here, it could just name the
> "document_variant" instead (but that would mean to rewrite the shell
> script in Isabelle/Scal
On Fri, 28 Mar 2014, Makarius wrote:
So what is actually the problem here? The main practical situation where
this connection of divergent names needs to be resolved is "isabelle
build_doc". That could be smarter, or actually somehow be automatic as part
of the document viewer. But we are t
On Wed, 26 Mar 2014, Florian Haftmann wrote:
since ancient times there is a glitch in the naming of manuals vs. their
originating sessions, e.g. isar-ref vs. IsarRef.
Would it be worth an effort to consolidate this? I regularly get
confused about that.
This is one of these recurrent (low p
+1
Fortunately, nowadays the list of manuals shown in jEdit is very helpful
here.
Am Mittwoch, den 26.03.2014, 22:07 +0100 schrieb Florian Haftmann:
> Hi,
>
> since ancient times there is a glitch in the naming of manuals vs. their
> originating sessions, e.g. isar-ref vs. IsarRef.
>
> Would it
Hi,
since ancient times there is a glitch in the naming of manuals vs. their
originating sessions, e.g. isar-ref vs. IsarRef.
Would it be worth an effort to consolidate this? I regularly get
confused about that.
Cheers,
Florian
--
PGP available:
http://home.informatik.tu-muenchen.de/
12 matches
Mail list logo