Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
20 most recent timeline items
|
2012-06-17
| ||
| 10:49 | [394fd4971a] Leaf: finished higher-order monotonicity (user: ahrens, tags: trunk) | |
|
2012-06-16
| ||
| 16:27 | [5eb459e2b0] need more work in prop_arities_initial(_variant) (user: ahrens, tags: trunk) | |
| 15:18 | [55f0d36c52] started higher order mono (user: ahrens, tags: trunk) | |
|
2012-05-13
| ||
| 12:17 | [fcf9839e80] added ex_ulcbeta_variant (user: ahrens, tags: trunk) | |
|
2012-05-11
| ||
| 21:51 | [6c7ae1a85c] added variant plc, removed comment (user: ahrens, tags: trunk) | |
| 21:19 | [64143a4603] added variant plc (user: ahrens, tags: trunk) | |
|
2012-04-04
| ||
| 13:56 | [324c662474] fixed typos in DESCRIPTION II (user: ahrens, tags: trunk) | |
| 13:50 | [ade22073b9] fixed typos in DESCRIPTION (user: ahrens, tags: trunk) | |
|
2012-03-18
| ||
| 15:41 | [390eabc084] removed vernaculars with side effects II (user: ahrens, tags: trunk) | |
| 15:08 | [0530c11f37] removed vernaculars with side effects (user: ahrens, tags: trunk) | |
|
2012-03-17
| ||
| 16:24 | [cf4594b74e] corrected english (user: ahrens, tags: trunk) | |
|
2011-12-08
| ||
| 17:23 | [91877e0ead] corrected name, eq in half_eq (user: ahrens, tags: trunk) | |
|
2011-11-23
| ||
| 21:51 | [ab8e0f1307] replaced func_ext_dep by custom func_ext_nondep in RPCF (user: ahrens, tags: trunk) | |
|
2011-11-17
| ||
| 13:23 | [0a8434775b] pred_alt -> pred (user: ahrens, tags: trunk) | |
|
2011-11-09
| ||
| 23:24 | [d46a6ad9ff] notation for constr in prop_untyped (user: ahrens, tags: trunk) | |
|
2011-11-04
| ||
| 14:04 | [2b1de430ac] played with coercion for pcf constants, but won't work (user: ahrens, tags: trunk) | |
|
2011-10-31
| ||
| 21:32 | [48dc738a3e] added RPCF to DESCRIPTION, some beautif in RPCF, ULC_terms_print (user: ahrens, tags: trunk) | |
| 16:35 | [16f3f9328a] some notations in PCF and RPCF (user: ahrens, tags: trunk) | |
|
2011-10-30
| ||
| 21:56 | [5e163af9c4] more beautif in RPCF (user: ahrens, tags: trunk) | |
| 13:06 | [757646046120f] changed name of identity in RPCF (user: ahrens, tags: trunk) | |