From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.text.pandoc/33166 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Ivan Perez Newsgroups: gmane.text.pandoc Subject: Re: Success story: Pandoc at NASA Date: Sat, 7 Oct 2023 10:32:09 -0700 (PDT) Message-ID: References: Reply-To: pandoc-discuss-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_19117_453113325.1696699929281" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="9330"; mail-complaints-to="usenet@ciao.gmane.io" To: pandoc-discuss Original-X-From: pandoc-discuss+bncBDHYTBOLQ4IRBGVMQ2UQMGQEMNOHIFQ-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org Sat Oct 07 19:32:15 2023 Return-path: Envelope-to: gtp-pandoc-discuss@m.gmane-mx.org Original-Received: from mail-oo1-f64.google.com ([209.85.161.64]) by ciao.gmane.io with esmtps (TLS1.3:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.92) (envelope-from ) id 1qpB9y-0002Dh-Ef for gtp-pandoc-discuss@m.gmane-mx.org; Sat, 07 Oct 2023 19:32:14 +0200 Original-Received: by mail-oo1-f64.google.com with SMTP id 006d021491bc7-57b7aefb23asf3710143eaf.2 for ; Sat, 07 Oct 2023 10:32:14 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20230601; t=1696699933; x=1697304733; darn=m.gmane-mx.org; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:reply-to:x-original-sender :mime-version:subject:references:in-reply-to:message-id:to:from:date :sender:from:to:cc:subject:date:message-id:reply-to; bh=ev0E404FEjfggfNYUF0ymzjRiSoM5Snir4ACJXYcWig=; b=uHe7QZF+IYDqvkMhPPqhftMoQxWpDnvaUeEJMo9MAUnOF01uO/wi9+mRQ6hZRuTeBE GGtNYipBxFSI2l61x6DEFAC1zDnV8kpxVwTfy0A4fLKROET1JrUMlTvSYEeblvxsdxkw +Lk2KK7Tx+RExw1chMiUgZ0+leuNeu3inpOpbLZunrE0ZYCgzpWpgIF9FabdOQjwihxB irsiA4jm7GxuruUf7vMvIFwS42H8lcWXyLTJOtl9SewXV9dzTZKlt+VEMdtU509NR5r6 ybaFJ4ajECVaFv0huGR4DEQywSZr/rldoV2q472m2PCTpm1jdJbX4d31sWipUf5s94uS ekIQ== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1696699933; x=1697304733; darn=m.gmane-mx.org; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:reply-to:x-original-sender :mime-version:subject:references:in-reply-to:message-id:to:from:date :from:to:cc:subject:date:message-id:reply-to; bh=ev0E404FEjfggfNYUF0ymzjRiSoM5Snir4ACJXYcWig=; b=MFNl9CE1jdNLFlECR1WKmhtP6FL7hQuYDqxniIXUeD4UcjnXqUUWeUsnOQlq1Ngeo+ Irkf/Vdm5Zlxgwu23/Qv78wEnkBhy3GMZXO4Un3gn7/S8+mDyDWvm+tXkXn4GB7cEFhe 6vcu2MgkWGScs+/595X9DtNrVdoFvKb2QejoinUoGF/+IuyK0jMGJKXQeVnV1fkWdzJv f2XVxmhg7/0QwFiiZ6UzS9itRLz8NGlHCXbkmWZFh7/rO6WoPGL53gbxLz0GgBv0HKzN Jo6r59Nd3XdQ0KfqKCZ0bOOhyELvqGjSVr/GSnv71TXbApV4+kZwOJqMaWFlv2jBOKhj GivQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1696699933; x=1697304733; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence:reply-to :x-original-sender:mime-version:subject:references:in-reply-to :message-id:to:from:date:x-beenthere:x-gm-message-state:sender:from :to:cc:subject:date:message-id:reply-to; bh=ev0E404FEjfggfNYUF0ymzjRiSoM5Snir4ACJXYcWig=; b=GIZTCEGcKpzWEgB9xsQSG1wuojfDm2QeYHDH5aOTnnSf9RH6WnAfX3yJfz0ug+/bVK X9CR3OS0Yda0F9jIIo6AZ39ridbQD51FIL1XrxthD3CU3c8YEKCGn4OmDX+SMBJRhbL6 sxZp1szc6gbJsB3oR9465kXiCWe5WPYaek1hKYJTwKxWZyWqzdfP399znVOuMHx0VyXi pwKrZsqzV/v7VyUL/IS+ChRekIsjuW/8X8WdneDN9u9QK7klZacOmCzb0GPQjZEoYdLM gR/dPlnhgQ6bdDFp0LMvLzIkvzimmX1Pf9WpDlsASuPEMTRX46 Original-Sender: pandoc-discuss-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org X-Gm-Message-State: AOJu0YxHb9Ntkfnc2qjlfkK/MiI6KHUidCu+t3FWxEXhjFfsEF4ASevA kK4x9wGyzmyWe5XDYGHb8q8= X-Google-Smtp-Source: AGHT+IFqgCupN3Ob2TSieHU+lq3pl0UVJPn2WPNc5qOV9i/MlLnPlSDLxRQKPoZCTPqKTj7HQkFp3w== X-Received: by 2002:a4a:6c02:0:b0:57d:e5e7:6d02 with SMTP id q2-20020a4a6c02000000b0057de5e76d02mr10178387ooc.5.1696699932954; Sat, 07 Oct 2023 10:32:12 -0700 (PDT) X-BeenThere: pandoc-discuss-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org Original-Received: by 2002:a4a:e7d7:0:b0:57f:10d2:48db with SMTP id y23-20020a4ae7d7000000b0057f10d248dbls1204041oov.1.-pod-prod-03-us; Sat, 07 Oct 2023 10:32:10 -0700 (PDT) X-Received: by 2002:a05:6808:2202:b0:3a1:f295:3e with SMTP id bd2-20020a056808220200b003a1f295003emr5755899oib.1.1696699929981; Sat, 07 Oct 2023 10:32:09 -0700 (PDT) In-Reply-To: X-Original-Sender: ivanperezdominguez-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org Precedence: list Mailing-list: list pandoc-discuss-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org; contact pandoc-discuss+owners-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org List-ID: X-Google-Group-Id: 1007024079513 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , Xref: news.gmane.io gmane.text.pandoc:33166 Archived-At: ------=_Part_19117_453113325.1696699929281 Content-Type: multipart/alternative; boundary="----=_Part_19118_510200255.1696699929281" ------=_Part_19118_510200255.1696699929281 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Clarification:=20 > Also, these two papers: [links] were written in pandoc. I mean they were written in Markdown and converted to latex with pandoc. Sorry for the mixup. Ivan On Saturday, October 7, 2023 at 10:28:41=E2=80=AFAM UTC-7 Ivan Perez wrote: > Hi, > > I'm sure this is very little in comparison with all the successes of=20 > pandoc, but I wanted to let you know what we used pandoc at NASA to creat= e=20 > the documentation needed so that the projects Copilot ( > https://github.com/Copilot-Language/copilot/) and Ogma ( > https://github.com/nasa/ogma) could be used in more critical software and= =20 > in flights. > > The documentation is written in Markdown and the converted to PDF via=20 > latex using pandoc. Using Markdown has made it much easier to keep a clea= n=20 > document and also to compare documents across projects to search for=20 > meaningful differences. > > I used a custom template for this based on pandoc's standard template,=20 > with lots of fields in the header that need to go in the first pages of t= he=20 > document (they are like form fields). I'm also using % as a comment in=20 > pandoc to separate sentences to make documents easier to read, and I'm=20 > pre-filtering the file removing all lines matching '^%$'. > > Also, these two papers: > https://dl.acm.org/doi/10.1145/3609026.3609727 > https://dl.acm.org/doi/10.1145/3609025.3609475 > were written in pandoc. For those, I didn't use a custom template. Rather= ,=20 > I converted the core text of the paper to LaTeX with pandoc and then had = a=20 > paper.tex file that imported the result. > > I hope this is of interest to some people in the community. > > Cheers, > > Ivan > --=20 You received this message because you are subscribed to the Google Groups "= pandoc-discuss" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to pandoc-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org To view this discussion on the web visit https://groups.google.com/d/msgid/= pandoc-discuss/f6023656-ae2d-42ef-94ac-284b7a97b191n%40googlegroups.com. ------=_Part_19118_510200255.1696699929281 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Clarification:
> Also, these two papers: [links] were written= in pandoc.

I mean they were written in Markdown= and converted to latex with pandoc.

Sorry for t= he mixup.

Ivan
On Saturday, October 7, 2023 at= 10:28:41=E2=80=AFAM UTC-7 Ivan Perez wrote:
Hi,

I'm s= ure this is very little in comparison with all the successes of pandoc, but= I wanted to let you know what we used pandoc at NASA to create the documen= tation needed so that the projects Copilot (https://github.com/Copilot-Language/copil= ot/) and Ogma (https://github.com/na= sa/ogma) could be used in more critical software and in flights.
<= div>
The documentation is written in Markdown and the convert= ed to PDF via latex using pandoc. Using Markdown has made it much easier to= keep a clean document and also to compare documents across projects to sea= rch for meaningful differences.

I used a cust= om template for this based on pandoc's standard template, with lots of = fields in the=20 header that need to go in the first pages of the document (they are like form fields). I'm also using % as a comment in pandoc to separate sent= ences to make documents easier to read, and I'm pre-filtering the file = removing all lines matching '^%$'.

Also, t= hese two papers:
https://dl.acm.org/doi/10.1145/3609026.3609727
we= re written in pandoc. For those, I didn't use a custom template. Rather= , I converted the core text of the paper to LaTeX with pandoc and then had = a paper.tex file that imported the result.

I hope = this is of interest to some people in the community.

Cheers,

Ivan

--
You received this message because you are subscribed to the Google Groups &= quot;pandoc-discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to pand= oc-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org.
To view this discussion on the web visit https://groups.google.com/d= /msgid/pandoc-discuss/f6023656-ae2d-42ef-94ac-284b7a97b191n%40googlegroups.= com.
------=_Part_19118_510200255.1696699929281-- ------=_Part_19117_453113325.1696699929281--