Project

General

Profile

Actions
Copy link

Architecture #5546

closed

Rewrite system techniques to use normal ordering

Added by Benoît PECCATTE about 10 years ago. Updated over 9 years ago.

Status:
Released
Priority:
N/A
Assignee:
Jonathan CLARKE
Category:
Techniques
Target version:
3.0.0~beta1
Pull Request:
Effort required:
Name check:
Fix check:
Regression:

Subtasks 4 (0 open — 4 closed)

Bug #5547: Rewrite system techniques to use normal ordering on 2.6ReleasedJonathan CLARKE2014-09-17Actions
Bug #5548: Rewrite system techniques to use normal ordering on 2.10ReleasedJonathan CLARKE2014-09-17Actions
Bug #5549: Rewrite system techniques to use normal ordering on 2.11ReleasedJonathan CLARKE2014-09-17Actions
Architecture #4918: Clean up update.cf file (de-duplicate promises, remove unused body)ReleasedNicolas CHARLES2014-06-02Actions
Actions
Copy link

Also available in: Atom PDF