This shows you the differences between two versions of the page.
development [2010/12/16 02:04] yann |
development [2019/10/06 20:37] |
||
---|---|---|---|
Line 1: | Line 1: | ||
- | ====== Development ====== | ||
- | * [[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]] |