Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] NEWS: Demo documents for well-known LaTeX ...

Email Gateway (Nov 02 2022 at 12:32):

From: Makarius <makarius@sketis.net>
* Document preparation *

• Various well-known LaTeX styles are included as Isabelle components,
  with demo documents in the regular Isabelle "doc" space:

  • Easychair as session "Demo_Easychair" / doc "demo_easychair"
  • FoilTeX as session "Demo_FoilTeX" / doc "demo_foiltex"
  • Dagstuhl LIPIcs style as session "Demo_LIPIcs" / doc "demo_lipics"

This refers to Isabelle/d0a1f3eb0982.

A few more demo documents are in the pipeline, e.g. Springer LNCS and ACM.

Which other notable LaTeX styles should be covered?

Makarius

isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

Email Gateway (Nov 02 2022 at 12:34):

From: Tobias Nipkow <nipkow@in.tum.de>
Makarius, Thank you, that is good news! I am not aware of further relevant styles.

Tobias
smime.p7s

Email Gateway (Nov 06 2022 at 14:53):

From: Jørgen Villadsen <jovi@dtu.dk>
Two suggestions:

EPTCS https://eptcs.org http://style.eptcs.org
CEUR-WS http://ceur-ws.org/ https://ceurws.wordpress.com/2020/03/31/ceurws-publishes-ceurart-paper-style/

Jørgen

Email Gateway (Nov 06 2022 at 21:28):

From: Makarius <makarius@sketis.net>
On 06/11/2022 15:53, Jørgen Villadsen wrote:

Two suggestions:

EPTCS https://eptcs.org http://style.eptcs.org

Good idea. I have now added EPTCS:
https://isabelle-dev.sketis.net/rISABELLEd84568379f3f

CEUR-WS http://ceur-ws.org/ https://ceurws.wordpress.com/2020/03/31/ceurws-publishes-ceurart-paper-
This looks a bit obscure / marginal to me.

Makarius

isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

Email Gateway (Nov 10 2022 at 21:59):

From: Jørgen Villadsen <jovi@dtu.dk>
Thanks for adding EPTCS but please reconsider CEUR-WS. The CEURART style is mandatory and CEUR has published more than 3000 "Free Open-Access Proceedings for Computer Science Workshops" so far, including Practical Aspects of Automated Reasoning (PAAR 2022):

https://dblp.org/db/conf/paar/paar2022.html

Here is a sample paper:

The Isabelle Community Benchmark
Fabian Huch, Vincent Bode
https://ceur-ws.org/Vol-3201/paper14.pdf

Jørgen

From: isabelle-dev <isabelle-dev-bounces@mailman46.in.tum.de> on behalf of Makarius <makarius@sketis.net>
Sent: Sunday, November 6, 2022 22:28
To: Jørgen Villadsen; isabelle-dev
Subject: Re: [isabelle-dev] NEWS: Demo documents for well-known LaTeX styles

On 06/11/2022 15:53, Jørgen Villadsen wrote:

Two suggestions:

EPTCS https://eptcs.org http://style.eptcs.org

Good idea. I have now added EPTCS:
https://isabelle-dev.sketis.net/rISABELLEd84568379f3f

CEUR-WS http://ceur-ws.org/ https://ceurws.wordpress.com/2020/03/31/ceurws-publishes-ceurart-paper-style/
This looks a bit obscure / marginal to me.

Makarius

isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

Last updated: Dec 21 2024 at 16:20 UTC