Skip to content
Snippets Groups Projects
Commit 2f437cbf authored by SimonGuilloud's avatar SimonGuilloud
Browse files

Merge branch 'main' into front-integration. 

Reintroduce all of the front. Make the parser and printer working with the change on FOL.
parents e78ff37e 4245b1f2
No related branches found
No related tags found
5 merge requests!62Easy tactics,!58Easy tactics,!55Front integration and various changes,!54Front integration,!53Front integration
This commit is part of merge request !53. Comments created here will be created in the context of that merge request.
Expand all Hide whitespace changes
Inline Side-by-side
Showing
with 1055 additions and 246 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment