| 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
|
| Fri, 13 Feb 2015 20:23:14 +0000 |
samer |
Added adjusted config to handle main menu differently.
|
| Fri, 13 Feb 2015 18:46:12 +0000 |
samer |
Update cpacks and merge with local changes.
|
| Fri, 13 Feb 2015 12:47:42 +0000 |
samer |
Modified Cliopatria start up params, added links to soundfonts
|
| Mon, 02 Feb 2015 17:51:38 +0000 |
samer |
Added some ODBC config
|
| Mon, 26 Jan 2015 16:16:23 +0000 |
samer |
tweaks to setup scripts
|
| Mon, 26 Jan 2015 14:22:01 +0000 |
samer |
ignore whole of ~/src
|
| Mon, 26 Jan 2015 13:56:59 +0000 |
samer |
Adding ILM stuff in progress.
|
| Fri, 23 Jan 2015 17:16:06 +0000 |
samer |
Added DML CPACK archive
|
| Fri, 23 Jan 2015 17:13:17 +0000 |
samer |
merging.
|
| Fri, 23 Jan 2015 17:09:31 +0000 |
samer |
Simplifying install process, in progress.
|
| Mon, 19 Jan 2015 14:38:58 +0000 |
samer |
Some more refinements to install scripts.
|
