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.

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

Feature/atlas import #1474

Draft
wants to merge 145 commits into
base: main
Choose a base branch
from
Draft

Feature/atlas import #1474

wants to merge 145 commits into from

Conversation

SimonvRoozendaalOrdina
Copy link

No description provided.

@hanjoosten hanjoosten marked this pull request as draft March 18, 2024 16:13
hanjoosten and others added 23 commits March 18, 2024 20:29
- P_Context
- PCDDef
- PConceptDef
- P_Concept
- PProp
- P_Sign
- P_Relation
- PMeaning
- PMessage
- P_Markup
- P_Rule
- MEANING of CONCEPT print adjusted
- quoteMeaning added
PPurpose first version
IDENT not finished
qualified Data.Aeson as .JSON
identsegmnt, boxitem, cruds, subifc, boxheader, templatekeyvalue, term, termprim, atomvalue,
- Term TermPrim working
SimonvRoozendaalOrdina and others added 30 commits May 30, 2024 09:49
commit 9bbd879
Merge: 5afbdd8 4599950
Author: hanjoosten <[email protected]>
Date:   Mon Jun 10 23:40:51 2024 +0200

    Merge branch 'feature/meaning-populate-text' into main-of-ampersand-4

commit 4599950
Author: hanjoosten <[email protected]>
Date:   Mon Jun 10 21:38:46 2024 +0200

    Fix population of Meaning

commit 87e93de
Author: hanjoosten <[email protected]>
Date:   Tue Jun 4 10:58:20 2024 +0200

    Population still yealds violations

commit 5afbdd8
Author: hanjoosten <[email protected]>
Date:   Sat Jun 1 23:46:29 2024 +0200

    minor things to ease comming migration

commit 9b67e89
Author: hanjoosten <[email protected]>
Date:   Sat Jun 1 16:25:33 2024 +0200

    Minor enhancement of Setup.hs

commit 7f42788
Author: hanjoosten <[email protected]>
Date:   Sat Jun 1 10:21:08 2024 +0200

    Minor thing for windows

commit 533cc2e
Author: hanjoosten <[email protected]>
Date:   Sat Jun 1 10:18:19 2024 +0200

    Fix Dockerfile

commit badddcd
Author: hanjoosten <[email protected]>
Date:   Sat Jun 1 10:11:33 2024 +0200

    Small fix for Windows

commit cbc8add
Author: hanjoosten <[email protected]>
Date:   Sat Jun 1 09:19:39 2024 +0200

    Also read ' UTC' after datetime if present

commit c90ed6d
Author: hanjoosten <[email protected]>
Date:   Sat Jun 1 09:12:37 2024 +0200

    Revert "Retrieve fix for DateTime parser"

    This reverts commit 290ef6c.

commit 290ef6c
Author: hanjoosten <[email protected]>
Date:   Fri May 31 15:37:54 2024 +0200

    Retrieve fix for DateTime parser
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants