Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Should check Latex of annotated paragraph #895

Open
Ducasse opened this issue Oct 17, 2024 · 2 comments
Open

Should check Latex of annotated paragraph #895

Ducasse opened this issue Oct 17, 2024 · 2 comments
Assignees
@Ducasse

Comments

@Ducasse
Copy link
Contributor

Ducasse commented Oct 17, 2024

Annotated paragraphs are now defined using

>![ important] 
> 
>

We should check them.
In particular their export in latex should be inspected.
The latex should be the same than !!
There are some usage in the Spec2 book.
@Ducasse
Copy link
Contributor Author

Ducasse commented Oct 17, 2024

Related to #716

@Ducasse Ducasse self-assigned this Oct 29, 2024
@Ducasse
Copy link
Contributor Author

Ducasse commented Oct 30, 2024

In fact this is >[!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Ducasse Ducasse

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Ducasse