all changes #1

Manually merged
adbrucker merged 2 commits from nicolas.meric/Isabelle_DOF:eclectic-tutorial-add-todos-fix-typos into master 2021-07-02 15:33:34 +00:00
Collaborator

Hi,

I finally make the pull request to merge Burkhart Wolff's Eclectic Manual corrections.

Hi, I finally make the pull request to merge Burkhart Wolff's Eclectic Manual corrections.
nicolas.meric requested review from adbrucker 2021-06-01 13:03:11 +00:00
nicolas.meric requested review from wolff 2021-06-01 13:03:16 +00:00
adbrucker manually merged commit 295233cdcf into master 2021-07-02 15:33:34 +00:00
adbrucker deleted branch eclectic-tutorial-add-todos-fix-typos 2021-07-02 15:33:45 +00:00
Sign in to join this conversation.
No reviewers
No Label
No Milestone
No Assignees
1 Participants
Notifications
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#1
No description provided.