| Wed, 20 May 2015 17:00:04 +0100 |
samer |
Merge.
|
| Wed, 20 May 2015 16:58:09 +0100 |
samer |
Update SWISH settings.
|
| Wed, 20 May 2015 16:51:52 +0100 |
samer |
Removed persistent history stuff (now in rcutils); adjust proxy handling
|
| Wed, 20 May 2015 16:53:55 +0100 |
samer |
Update settings.
|
| Wed, 20 May 2015 16:48:49 +0100 |
daniel |
Added SWI updater script
|
| Wed, 20 May 2015 16:48:24 +0100 |
samer |
Moved persistent history stuff to a package.
|
| Tue, 19 May 2015 11:09:47 +0100 |
samer |
Added ~/.Rprofile
|
| Thu, 14 May 2015 15:38:03 +0100 |
daniel |
Added some hg ignores, added .swiplrc for swipl >=7.3.0
|
| Thu, 14 May 2015 15:35:04 +0100 |
daniel |
Added helpers and info about building SWI Prolog
|
| Thu, 14 May 2015 15:18:47 +0100 |
samer |
Removing some unnecessary VIM plugins
|
| Thu, 14 May 2015 15:17:59 +0100 |
samer |
Added LICENSES, updated VERSION, removed some superfluous VIM stuff
|
| Thu, 14 May 2015 10:55:27 +0100 |
daniel |
default fluidsynth setup is now genuser_fs
|
| Thu, 14 May 2015 10:54:28 +0100 |
samer |
Updated to latest SWISH.
|
| Wed, 25 Mar 2015 12:50:11 +0000 |
samer |
Adjustable persistent history saving frequency
|
| Wed, 25 Mar 2015 12:40:42 +0000 |
samer |
Fixed exponential history file growth bug.
|
