Skip to content

GitLab

Explore

Sign in
Register

Primary navigation

Project

C

curry-tools
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Releases
- Model registry
- Incidents

Snippets Groups Projects

896ccc26

Commit 896ccc26 authored 10 years ago by Sandra Dylus

Downloads
- Plain Diff

Merge branch 'typeclasses' of git-ps.informatik.uni-kiel.de:curry/curry-tools into typeclasses

Conflicts:
	spicey/scaffolding/AbstractCurryGoodies.curry
	xmldata/AbstractGoodies.curry

parents b0d88c00 3fbba4f5

Branches sad/typeclasses

No related tags found

No related merge requests found

Changes 8

Hide whitespace changes

Inline Side-by-side

Showing

CASS/Configuration.curry 1 addition, 1 deletion

CASS/Configuration.curry
browser/BrowserGUI.curry 2 additions, 2 deletions

browser/BrowserGUI.curry
curry2js/Curry2JS.curry 2 additions, 2 deletions

curry2js/Curry2JS.curry
currydoc/CurryDocHtml.curry 5 additions, 5 deletions

currydoc/CurryDocHtml.curry
currydoc/CurryDocRead.curry 1 addition, 1 deletion

currydoc/CurryDocRead.curry
currypp/Examples/RegexpExamples.curry 2 additions, 2 deletions

currypp/Examples/RegexpExamples.curry
currypp/Parser/ML/MLTypes.curry 1 addition, 0 deletions

currypp/Parser/ML/MLTypes.curry
xmldata/Data2Xml.curry 50 additions, 23 deletions

xmldata/Data2Xml.curry

with 64 additions and 36 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment