Home My Page Projects Lambda-prolog implementation of CIC
Summary Activity SCM Files

Activity

Activity:
Start Date:
End Date:
Time Activity By
2017-12-08
20:00:35 Source Code scm commit: bibtex entries of two articles to cite (commit 4c97359)
2017-12-06
16:05:07 Source Code scm commit: CHANGE: a lot of cut/paste to put the paper in a candidate final form (commit 130081d)
15:24:06 Source Code scm commit: Automatic alignment is back (commit 2d68f00)
14:21:17 Source Code scm commit: Section 4 completely rewritten (commit d0b0e8f)
2017-12-05
20:21:28 Source Code scm commit: Merge branch 'cic' of git+ssh://scm.gforge.inria.fr//gitroot/lpcic/lpcic into cic (commit 4660d9a)
20:20:26 Source Code scm commit: comments of the third reviewer (commit b4cc80b)
16:29:11 Source Code scm commit: typos (commit 2c32421)
16:25:23 Source Code scm commit: remove subsumed code (commit ef72dd8)
16:20:49 Source Code scm commit: typos (commit add5659)
16:14:43 Source Code scm commit: typos (commit f7afe5b)
16:12:22 Source Code scm commit: 4.4 almost done (commit 1af254b)
14:52:01 Source Code scm commit: work on 4.1 4.2 4.3, still to fix 4.4 and 4.4.1 (commit 2e6b3e2)
2017-12-04
12:00:19 Source Code scm commit: fix some typos in CHR (commit 3e6bc1b)
2017-12-03
16:59:04 Source Code scm commit: attempt to write the CHR part a bit more formally (commit 6fb9f1a)
2017-12-01
18:02:32 Source Code scm commit: typo (commit 7c95aeb)
17:59:41 Source Code scm commit: typo (commit 921c3c9)
17:59:34 Source Code scm commit: fixup style (commit c1a97c6)
17:22:34 Source Code scm commit: example of propagation explained (commit ad988ec)
2017-11-30
09:50:42 Source Code scm commit: fix compilation (commit 3acb07d)
2017-11-29
21:10:17 Source Code scm commit: Change: all typos + marginpar for remarks + \PLAN for full reorganization (commit ec6f7f5)
21:09:37 Source Code scm commit: Change: fix bib entry for Lean (commit a939173)
20:08:06 Source Code scm commit: two references suggested by the third reviewer (commit 5bfeb3b)
15:56:05 Source Code scm commit: Change: remove LF + SLD = lambdaProlog and other similar claims (commit bdbd2c0)
15:50:08 Source Code scm commit: Change: sub typing -> subtyping (commit f44de54)
15:49:19 Source Code scm commit: Change: get rid of minimality claims (commit b6befc9)
15:43:53 Source Code scm commit: Change: Abstract to reflect a possible new structure of the paper (commit f90feb9)
15:43:28 Source Code scm commit: fix bibliography with a HACK (commit f70b0d8)
10:14:10 Source Code scm commit: typos (commit 864a109)