gheber
|
9fedcd8e20
|
Updated formatting of file list.
|
2016-03-05 16:16:10 -06:00 |
|
gheber
|
6f03e38e7f
|
First draft of Chapter 7.
|
2016-03-05 16:13:20 -06:00 |
|
gheber
|
7a71dad219
|
The latest Docker container automatically initializes Kenzo.
|
2016-03-05 12:29:42 -06:00 |
|
Gerd Heber
|
abf667e699
|
Preload and initialize Kenzo.
|
2016-03-05 13:10:23 -05:00 |
|
gheber
|
7102d88cc1
|
Another snippet of Chapter 7.
|
2016-03-04 06:45:08 -06:00 |
|
Gerd Heber
|
54d2f8ca35
|
Update README.md
|
2016-03-04 01:22:35 -06:00 |
|
Gerd Heber
|
5328d18ccb
|
Update README.md
|
2016-03-04 01:20:23 -06:00 |
|
Gerd Heber
|
092a9990d2
|
(Temporarily) disable SBCL32 to avoid build failure.
|
2016-03-04 02:13:47 -05:00 |
|
gheber
|
0df7691196
|
Another snippet of Chapter7.
|
2016-03-04 00:51:20 -06:00 |
|
gheber
|
cc7224761d
|
Another snippet of Chapter 7.
|
2016-03-03 19:19:46 -06:00 |
|
gheber
|
02e4874bef
|
A first snippet of Chapter 7.
|
2016-03-03 15:38:51 -06:00 |
|
Gerd Heber
|
9b40e0fe61
|
Merge branch 'master' of https://github.com/gheber/kenzo
|
2016-03-02 08:53:15 -05:00 |
|
Gerd Heber
|
f74f118e57
|
Added missing exports.
|
2016-03-02 08:52:24 -05:00 |
|
gheber
|
94e9513abf
|
Use USE-PACKAGE instead of IN-PACKAGE.
|
2016-03-02 07:44:01 -06:00 |
|
Gerd Heber
|
d1d370a56e
|
Added missing exports.
|
2016-03-02 07:51:12 -05:00 |
|
gheber
|
8b9a58632b
|
Corrected package exports.
|
2016-03-02 06:42:26 -06:00 |
|
Gerd Heber
|
b9cfcc216d
|
SBCL 1.3.3 is out!
|
2016-03-01 08:48:31 -05:00 |
|
Gerd Heber
|
fa9eb0fc70
|
Added missing NREVERSE in return from ABAR.
|
2016-02-29 19:16:38 -05:00 |
|
gheber
|
ddee5978cc
|
Francis' updates to Overview.ipynb.
|
2016-02-29 17:15:01 -06:00 |
|
Gerd Heber
|
62fcc309f6
|
Added config file for Google Cloud.
|
2016-02-28 10:27:35 -06:00 |
|
Gerd Heber
|
c9d2d04745
|
Added missing LaTeX bits for nbconvert.
|
2016-02-28 10:36:37 -05:00 |
|
gheber
|
d5ae598baa
|
Ignore the unused variable to suppress compiler warning.
|
2016-02-27 15:44:14 -06:00 |
|
gheber
|
d3716a7f57
|
First draft of Chapter 6.
|
2016-02-27 15:22:56 -06:00 |
|
Gerd Heber
|
deec89e811
|
Updated Dockerfile.
|
2016-02-25 15:31:00 -06:00 |
|
Gerd Heber
|
e78bfccbfc
|
Updated Dockerfile.
|
2016-02-25 13:08:18 -06:00 |
|
gheber
|
986bfdc255
|
Minor touch up.
|
2016-02-24 17:31:18 -06:00 |
|
gheber
|
19e2682ae1
|
First draft of Chapter 5.
|
2016-02-24 17:25:50 -06:00 |
|
gheber
|
c435129a73
|
Formatting updates.
|
2016-02-23 19:05:08 -06:00 |
|
Gerd Heber
|
5d8815af23
|
Update README.md
|
2016-02-23 17:44:47 -06:00 |
|
gheber
|
13f9eec1c7
|
First draft of Chapter 4.
|
2016-02-23 17:27:24 -06:00 |
|
gheber
|
0adfe87f3f
|
Updates to chapters 1-3
|
2016-02-21 18:07:01 -06:00 |
|
gheber
|
f681a03c68
|
First draft of Chapter2
|
2016-02-20 17:20:31 -06:00 |
|
gheber
|
1566abc307
|
Chapter2 updates.
|
2016-02-20 12:01:16 -06:00 |
|
gheber
|
f0fe2b7799
|
Documentation updates
|
2016-02-18 19:59:31 -06:00 |
|
Gerd Heber
|
3a7d44c389
|
New Docker image for cl-jupyter. Minor tweaks.
|
2016-02-18 13:21:51 -06:00 |
|
Gerd Heber
|
e0d2cbef3d
|
Updated Docker config.
|
2016-02-16 16:27:19 -06:00 |
|
gheber
|
04fb4da3ba
|
Test failure of cs-pre-left-hmeq-right-reduction.
See Travis log number 10.2
|
2016-02-13 11:09:10 -06:00 |
|
gheber
|
2885bfbcaa
|
Test failure on CCL
See Travis log number 7.2
|
2016-02-13 10:59:38 -06:00 |
|
Gerd Heber
|
b76ab0b1b6
|
Update README.md
|
2016-02-13 10:56:24 -06:00 |
|
Gerd Heber
|
be286665cc
|
Update README.md
|
2016-02-13 10:55:22 -06:00 |
|
gheber
|
587b19217f
|
Added CCL to the list of compilers
Removed ECL 4 now.
|
2016-02-13 10:49:05 -06:00 |
|
gheber
|
e81ae46665
|
Added ECL to the list of compilers
Build #5 was clean after commenting out two tests.
|
2016-02-13 10:39:39 -06:00 |
|
gheber
|
b5587cf557
|
Test failure for cs-left-hmeq-hat
See Travis log #4
|
2016-02-13 10:32:33 -06:00 |
|
gheber
|
b29c7a2a40
|
Test failure of VRTC-BAR1
See Travis log #3
|
2016-02-13 10:19:07 -06:00 |
|
gheber
|
bb297b6e79
|
Updated Travis config.
|
2016-02-13 10:11:38 -06:00 |
|
gheber
|
f7a372584a
|
Renamed travis.yml
|
2016-02-13 10:01:57 -06:00 |
|
gheber
|
c4253ab419
|
Added mode line to trigger Travis CI test.
|
2016-02-13 10:00:31 -06:00 |
|
gheber
|
ef97be9877
|
Added Travis configuration
|
2016-02-13 09:41:24 -06:00 |
|
Gerd Heber
|
3928585747
|
First draft of Chapter 1 as Jupyter notebook.
|
2016-02-12 21:33:35 -05:00 |
|
Gerd Heber
|
deda58863d
|
Merge branch 'team-review'
|
2016-02-11 22:39:17 -05:00 |
|