This shows you the differences between two versions of the page.
development [2010/03/11 22:18] ptidejteam created |
development [2019/10/06 20:37] |
||
---|---|---|---|
Line 1: | Line 1: | ||
- | * [[JCT]] | ||
- | * [[PADL]] | ||
- | * [[PADL Analyses]] | ||
- | * [[POM]] | ||
- | * [[Ptidej Solver]] | ||
- | * [[Ptidej UI]] | ||
- | * [[Ptidej UI Viewer]] | ||
- | Other interesting concepts: | ||
- | |||
- | * [[Dirty Hack]] | ||
- | * [[Fragile Code]] | ||
- | * [[Historical Reason]] | ||
- | |||
- | Other page of interest: | ||
- | |||
- | * [[FAQ]] |