| 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.
|
| Wed, 25 Mar 2015 12:09:47 +0000 |
samer |
Improved Prolog persistent history handling.
|
| Tue, 24 Mar 2015 23:33:40 +0000 |
samer |
More ignores
|
| Tue, 24 Mar 2015 23:32:14 +0000 |
.screenrc |
Changed DML startup
|
| Tue, 24 Mar 2015 23:31:59 +0000 |
samer |
New ignores for julia and R config
|
| Thu, 12 Mar 2015 13:14:49 +0000 |
samer |
Print messages on persistent predicate db load; some changes to settings.
|
| Thu, 12 Mar 2015 13:13:19 +0000 |
daniel |
Improve SCREEN startup configuration
|
| Thu, 12 Mar 2015 13:12:54 +0000 |
samer |
Save prolog history intermittently
|
| Tue, 24 Feb 2015 21:27:44 +0000 |
daniel |
Adjusted set of initial terminals in SCREEN session
|
| Tue, 24 Feb 2015 21:27:12 +0000 |
samer |
Removed obsolete settings.
|
| Mon, 23 Feb 2015 10:51:13 +0000 |
samer |
Added persistent store config; more stuff to ignore.
|
| Sat, 21 Feb 2015 02:11:03 +0000 |
samer |
Merge
|
| Sat, 21 Feb 2015 02:07:16 +0000 |
samer |
Update to isearch cpack
|
| Sat, 21 Feb 2015 02:09:51 +0000 |
samer |
A few changes to setup
|
| Sat, 21 Feb 2015 02:08:36 +0000 |
samer |
Changes to config.
|
| Mon, 16 Feb 2015 22:08:22 +0000 |
daniel |
Added mechanism for site specific bash profile additions in .profile.d
|
| Mon, 16 Feb 2015 22:04:56 +0000 |
samer |
Update SWIPL version
|
| Mon, 16 Feb 2015 22:03:22 +0000 |
samer |
Pulled out MATLAB initialisation into a separate script.
|
| Mon, 16 Feb 2015 21:23:14 +0000 |
samer |
Case insensitve ignore downloads
|
| Sun, 15 Feb 2015 01:04:50 +0000 |
samer |
Reverted isearch to upstream, restyling in DML cpack instead
|
| Sat, 14 Feb 2015 16:54:27 +0000 |
samer |
Fix to pick up SWISH styling properly.
|
| Sat, 14 Feb 2015 15:23:25 +0000 |
samer |
Updates to swish cpack
|
| Sat, 14 Feb 2015 15:08:56 +0000 |
samer |
Added stuff to .hgignore; removed lib/rdf
|
| Fri, 13 Feb 2015 20:25:29 +0000 |
samer |
Rebase server to /cp; changed SWISH foint weight
|
