idir-remarks #30

Merged

adbrucker merged 3 commits from idir-remarks into main 2023-05-15 06:34:50 +00:00

Conversation 0 Commits 3 Files Changed 2 +14 -14

adbrucker commented 2023-05-15 06:34:14 +00:00

Owner

Copy Link

No description provided.

adbrucker added 2 commits 2023-05-15 06:34:15 +00:00

Idir remarks for the abstract of the manual. e9cfcdbcbc

Idir remarks for the intrduction of the manual. 9cc03c0816

adbrucker added 1 commit 2023-05-15 06:34:36 +00:00

Merge branch 'main' into idir-remarks 1986d0bcbd

adbrucker merged commit fb69f05ac0 into main 2023-05-15 06:34:50 +00:00

adbrucker referenced this issue from a commit 2023-05-15 06:34:50 +00:00

Merge pull request 'idir-remarks' (#30) from idir-remarks into main

adbrucker deleted branch idir-remarks 2023-05-15 06:34:54 +00:00

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels

No items

No Label

Milestone

Clear milestone

No items

No Milestone

Assignees

Clear assignees

No Assignees

1 Participants

Notifications

Subscribe

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: Isabelle_DOF/Isabelle_DOF#30

No description provided.