20 Jun 10:50 2016Mark Tarver
*Shen gets its first prototype IDE in the graphical SP 9.0
16 Jun 17:06 2016Willi Riha
*experimenting with unums
16 Jun 20:20 2016Mark Tarver
**experimenting with unums
22 Jun 03:21 2016Willi Riha
**experimenting with unums
22 Jun 05:56 2016Antti Ylikoski
***experimenting with unums
14 Jun 14:58 2016Mark Tarver
*beyond SP 8.0
14 Jun 23:29 2016Neal Alexander
**beyond SP 8.0
15 Jun 10:05 2016Mark Tarver
***beyond SP 8.0
8 Jun 12:55 2016Mark Tarver
*communicating concurrent processes used in graphical Shen
4 Jun 12:17 2016Mark Tarver
*SP 8.0 - large file processing paves the way for the first commercial
14 Jun 11:57 2016Mark Tarver
**SP 8.0 - large file processing paves the way for the first commercial
15 Jun 21:59 2016Mark Tarver
***SP 8.0 - large file processing paves the way for the first commercial
3 Jun 02:19 2016deech
*How to use Shen Prolog's findall?
3 Jun 22:36 2016Mark Tarver
**How to use Shen Prolog's findall?
1 Jun 00:24 2016Martin Clausen
*Stuck at first LPC proof
1 Jun 10:50 2016Mark Tarver
**Stuck at first LPC proof
1 Jun 18:17 2016Josh Tilles
**Stuck at first LPC proof
1 Jun 22:08 2016Martin Clausen
***Stuck at first LPC proof
30 May 05:39 2016fuzzy wozzy
*simple way to follow after 15 minute tutorial?
30 May 10:18 2016Mark Tarver
**simple way to follow after 15 minute tutorial?
30 May 10:26 2016Mark Tarver
***simple way to follow after 15 minute tutorial?
26 May 17:18 2016Antti Ylikoski
*Shen and the ANNs: ANN technology with vectors: Does the SP already ha
27 May 10:50 2016Mark Tarver
**Shen and the ANNs: ANN technology with vectors: Does the SP already ha
24 May 22:13 2016Mark Tarver
*Shen Professional & type secure graphics: a screen shot preview
24 May 17:09 2016Antti Ylikoski
*The ANN business with Shen: A public (simple) demo
24 May 19:40 2016Antti Ylikoski
**The ANN business with Shen: The usability of Shen is really good
25 May 19:37 2016Mark Tarver
***The ANN business with Shen: The usability of Shen is really good
24 May 21:52 2016Mark Tarver
**The ANN business with Shen: A public (simple) demo
24 May 21:53 2016Mark Tarver
***The ANN business with Shen: A public (simple) demo
24 May 22:23 2016Antti Ylikoski
****The ANN business with Shen: A public (simple) demo
25 May 19:27 2016Mark Tarver
*****The ANN business with Shen: A public (simple) demo
24 May 22:52 2016Antti Ylikoski
***The ANN business with Shen: A public (simple) demo
25 May 08:13 2016Antti Ylikoski
**The ANN business with Shen, more
5 Jun 11:01 2016Antti Ylikoski
**The ANN business with Shen: A public (simple) demo
7 Jun 13:29 2016Robert Herman
**The ANN business with Shen: A public (simple) demo
7 Jun 17:56 2016Antti Ylikoski
***The ANN business with Shen: A public (simple) demo
7 Jun 17:35 2016Antti Ylikoski
***The ANN business with Shen: A public (simple) demo
22 May 21:57 2016deech
*Escaped strings
22 May 22:25 2016Mark Tarver
**Escaped strings
22 May 22:26 2016Mark Tarver
***Escaped strings
22 May 22:23 2016deech
**Escaped strings
22 May 22:30 2016Mark Tarver
***Escaped strings
21 May 16:02 2016deech
*Parameterizing defcc
21 May 16:34 2016Mark Tarver
**Parameterizing defcc
21 May 17:00 2016deech
***Parameterizing defcc
21 May 18:44 2016fuzzy wozzy
**Parameterizing defcc
24 May 03:21 2016deech
***Parameterizing defcc
24 May 20:40 2016Mark Tarver
****Parameterizing defcc
18 May 17:32 2016Robert Herman
*unums and replacing floating point
20 May 03:23 2016Willi Riha
**unums and replacing floating point
20 May 04:26 2016Antti Ylikoski
***unums and replacing floating point
20 May 12:05 2016Pierpaolo Bernardi
***unums and replacing floating point
22 May 02:55 2016Willi Riha
**unums and replacing floating point
28 May 06:28 2016Willi Riha
**unums and replacing floating point
28 May 14:39 2016Mark Tarver
***unums and replacing floating point
28 May 16:48 2016Pierpaolo Bernardi
***unums and replacing floating point
29 May 04:10 2016fuzzy wozzy
**unums and replacing floating point
18 May 04:33 2016fuzzy wozzy
*will shen live up to the pledge it made, knowingly or unknowingly, to
18 May 11:42 2016Mark Tarver
**will shen live up to the pledge it made, knowingly or unknowingly, to
18 May 12:00 2016Mark Tarver
***will shen live up to the pledge it made, knowingly or unknowingly, to
18 May 14:59 2016fuzzy wozzy
**will shen live up to the pledge it made, knowingly or unknowingly, to
18 May 17:27 2016Robert Herman
***will shen live up to the pledge it made, knowingly or unknowingly, to
19 May 03:40 2016fuzzy wozzy
**will shen live up to the pledge it made, knowingly or unknowingly, to
19 May 17:18 2016Neal Alexander
***will shen live up to the pledge it made, knowingly or unknowingly, to
20 May 05:09 2016fuzzy wozzy
**will shen live up to the pledge it made, knowingly or unknowingly, to
20 May 05:21 2016fuzzy wozzy
**will shen live up to the pledge it made, knowingly or unknowingly, to
21 May 06:22 2016fuzzy wozzy
**will shen live up to the pledge it made, knowingly or unknowingly, to
17 May 13:09 2016Mark Tarver
*video page added to Shen website
17 May 21:16 2016s4
**video page added to Shen website
18 May 12:00 2016Mark Tarver
***video page added to Shen website
16 May 23:39 2016deech
*Shen Talk At LambdaConf
16 May 23:49 2016deech
**Shen Talk At LambdaConf
16 May 23:49 2016Raoul Duke
**Shen Talk At LambdaConf
17 May 09:56 2016Mark Tarver
***Shen Talk At LambdaConf
30 May 17:14 2016deech
****Shen Talk At LambdaConf
3 Jun 22:47 2016Mark Tarver
*****Shen Talk At LambdaConf
4 Jun 15:08 2016fuzzy wozzy
**Shen Talk At LambdaConf
16 May 23:19 2016Stuart Gebhardt
*Preparing for "Logic, Proof and Computation"
17 May 09:57 2016Mark Tarver
**Preparing for "Logic, Proof and Computation"
16 May 02:56 2016Antti Ylikoski
*DEFSYSTEM for Shen
16 May 06:22 2016Ramil Farkhshatov
**DEFSYSTEM for Shen
15 May 16:02 2016Antti Ylikoski
*Discussion about Linux
15 May 17:14 2016Mark Tarver
**Discussion about Linux
15 May 19:51 2016Mark Tarver
***Discussion about Linux
15 May 18:02 2016Ramil Farkhshatov
**Discussion about Linux
15 May 20:51 2016Antti Ylikoski
***Discussion about Linux
16 May 20:58 2016Mark Thom
****Discussion about Linux
17 May 09:59 2016Mark Tarver
*****Discussion about Linux
15 May 19:04 2016Neal Alexander
**Discussion about Linux
19 May 22:30 2016Antti Ylikoski
***Discussion about Linux
14 May 09:43 2016Antti Ylikoski
*A novice's problem
15 May 04:29 2016Willi Riha
**A novice's problem
15 May 12:52 2016Mark Tarver
**A novice's problem
13 May 15:54 2016Mark Tarver
*Active X warnings
12 May 15:28 2016fuzzy wozzy
*shen challenges?
12 May 18:57 2016Mark Tarver
**shen challenges?
13 May 03:39 2016fuzzy wozzy
**shen challenges?
13 May 04:13 2016Antti Ylikoski
***shen challenges?
12 May 10:12 2016Mark Tarver
*proof Assistant from LPC gets a makeover for SP
11 May 04:33 2016fuzzy wozzy
*LOL