Index of /users/jared/Milawa/Sources

	Name	Last modified	Size	Description
	Parent Directory		-
	ACL2/	04-Nov-2010 21:57	-
	Build/	02-Aug-2009 20:22	-
	Isabelle/	03-Jul-2009 12:15	-
	Proofs/	28-Oct-2009 15:16	-
	Support/	09-Jun-2009 20:30	-
	old-logs/	10-Oct-2009 15:53	-
	COPYING	09-Jun-2009 20:30	18K
	OMakefile	04-Aug-2009 16:36	628
	OMakefile.omc	22-Oct-2009 23:15	1.3K
	OMakeroot	04-Nov-2010 21:57	12K
	OMakeroot.omc	22-Oct-2009 23:15	22K
	README	06-Jul-2009 20:53	1.0K
	base.lhug-ccl	23-Oct-2009 13:30	20M
	base.lhug-clisp	23-Oct-2009 13:33	3.5M
	base.lhug-cmucl	28-Oct-2009 22:01	24M
	base.lhug-sbcl	23-Oct-2009 13:31	40M
	base.lhug-scl	28-Oct-2009 22:04	23M
	base.nemesis-acl	28-Oct-2009 22:16	3.9M
	base.nemesis-acl-big	29-Oct-2009 22:48	3.9M
	base.nemesis-ccl	03-Nov-2009 08:52	14M
	base.nemesis-clisp	24-Oct-2009 23:13	2.1M
	base.nemesis-cmucl	28-Oct-2009 22:01	24M
	base.nemesis-sbcl	23-Oct-2009 13:29	25M
	big-acl.dxl	29-Oct-2009 22:47	3.6M
	final-checks.sh	12-Aug-2009 08:58	3.5K
	final.ccl-jordan	04-Nov-2009 08:12	36M
	final.cele-ccl	03-Nov-2009 13:33	3.8M
	final.cele-clisp	03-Nov-2009 13:33	56K
	final.cele-cmucl	03-Nov-2009 13:33	1.4M
	final.cele-cmucl.2	03-Nov-2009 13:33	256K
	final.cele-cmucl.3	03-Nov-2009 13:34	2.4M
	final.cele-sbcl	27-Oct-2009 14:17	3.6M
	final.clisp-jordan	04-Nov-2009 08:08	3.6M
	final.cmucl-20a-jordan	30-Oct-2009 22:00	13M
	final.lhug-ccl	24-Oct-2009 22:34	3.8M
	final.lhug-clisp	08-Nov-2009 11:02	3.6M
	final.lhug-clisp.2	05-Nov-2009 21:54	1.9M
	final.lhug-clisp.3	06-Nov-2009 09:19	1.8K
	final.lhug-clisp.4	08-Nov-2009 10:17	517K
	final.lhug-cmucl	30-Oct-2009 09:08	13M
	final.lhug-sbcl	25-Oct-2009 16:05	3.6M
	final.lhug-scl	28-Oct-2009 22:09	128K
	final.nemesis-acl	29-Oct-2009 17:12	3.1M
	final.nemesis-acl-big	30-Oct-2009 23:07	3.1M
	final.nemesis-ccl	03-Nov-2009 08:54	90K
	final.nemesis-clisp	26-Oct-2009 22:11	1.5M
	final.nemesis-clisp2	27-Oct-2009 21:18	249K
	final.nemesis-clisp3	02-Nov-2009 20:25	249K
	final.nemesis-cmucl	30-Oct-2009 00:26	13M
	final.nemesis-sbcl	24-Oct-2009 14:18	3.6M
	final.sbcl-cele	03-Nov-2009 13:34	3.6M
	final.sbcl-jordan	25-Oct-2009 12:26	3.6M
	level2.lhug-ccl	23-Oct-2009 15:55	24M
	level2.lhug-ccl.out	23-Oct-2009 15:55	144K
	level2.lhug-clisp	24-Oct-2009 18:47	7.3M
	level2.lhug-clisp.out	24-Oct-2009 18:47	144K
	level2.lhug-cmucl	29-Oct-2009 01:18	27M
	level2.lhug-cmucl.out	29-Oct-2009 01:18	205K
	level2.lhug-sbcl	23-Oct-2009 18:16	45M
	level2.lhug-sbcl.out	23-Oct-2009 18:16	143K
	level2.nemesis-acl	29-Oct-2009 00:30	14M
	level2.nemesis-acl-big	30-Oct-2009 01:38	14M
	level2.nemesis-acl-big.out	30-Oct-2009 01:38	143K
	level2.nemesis-acl.out	29-Oct-2009 00:30	143K
	level2.nemesis-clisp	25-Oct-2009 11:59	4.2M
	level2.nemesis-clisp.out	25-Oct-2009 11:59	144K
	level2.nemesis-cmucl	29-Oct-2009 00:39	27M
	level2.nemesis-cmucl.out	29-Oct-2009 00:39	206K
	level2.nemesis-sbcl	23-Oct-2009 16:06	28M
	level2.nemesis-sbcl.out	23-Oct-2009 16:06	143K
	level3.lhug-ccl	23-Oct-2009 19:33	27M
	level3.lhug-ccl.out	23-Oct-2009 19:33	253K
	level3.lhug-clisp	25-Oct-2009 23:11	9.7M
	level3.lhug-clisp.out	25-Oct-2009 23:11	252K
	level3.lhug-cmucl	29-Oct-2009 04:42	29M
	level3.lhug-cmucl.out	29-Oct-2009 04:42	337K
	level3.lhug-sbcl	23-Oct-2009 23:00	49M
	level3.lhug-sbcl.out	23-Oct-2009 23:00	252K
	level3.nemesis-acl	29-Oct-2009 02:34	24M
	level3.nemesis-acl-big	30-Oct-2009 04:11	24M
	level3.nemesis-acl-big.out	30-Oct-2009 04:11	251K
	level3.nemesis-acl.out	29-Oct-2009 02:34	251K
	level3.nemesis-clisp	26-Oct-2009 00:08	5.4M
	level3.nemesis-clisp.out	26-Oct-2009 00:08	252K
	level3.nemesis-cmucl	29-Oct-2009 03:18	29M
	level3.nemesis-cmucl.out	29-Oct-2009 03:18	337K
	level3.nemesis-sbcl	23-Oct-2009 18:31	30M
	level3.nemesis-sbcl.out	23-Oct-2009 18:31	251K
	level4.lhug-ccl	23-Oct-2009 23:42	30M
	level4.lhug-ccl.out	23-Oct-2009 23:42	281K
	level4.lhug-clisp	29-Oct-2009 18:13	12M
	level4.lhug-clisp.out	29-Oct-2009 18:13	280K
	level4.lhug-cmucl	29-Oct-2009 10:07	32M
	level4.lhug-cmucl.out	29-Oct-2009 10:07	376K
	level4.lhug-sbcl	24-Oct-2009 07:39	54M
	level4.lhug-sbcl.out	24-Oct-2009 07:39	279K
	level4.nemesis-acl	29-Oct-2009 06:17	25M
	level4.nemesis-acl-big	30-Oct-2009 08:53	25M
	level4.nemesis-acl-big.out	30-Oct-2009 08:53	279K
	level4.nemesis-acl.out	29-Oct-2009 06:17	279K
	level4.nemesis-clisp.out	02-Nov-2009 20:25	249K
	level4.nemesis-cmucl	29-Oct-2009 07:31	32M
	level4.nemesis-cmucl.out	29-Oct-2009 07:31	376K
	level4.nemesis-sbcl	23-Oct-2009 22:27	33M
	level4.nemesis-sbcl.out	23-Oct-2009 22:27	279K
	level5.lhug-ccl	24-Oct-2009 04:18	34M
	level5.lhug-ccl.out	24-Oct-2009 04:18	309K
	level5.lhug-clisp	31-Oct-2009 18:01	16M
	level5.lhug-clisp.out	31-Oct-2009 18:01	309K
	level5.lhug-cmucl	29-Oct-2009 15:14	35M
	level5.lhug-cmucl.out	29-Oct-2009 15:14	392K
	level5.lhug-sbcl	24-Oct-2009 14:56	61M
	level5.lhug-sbcl.out	24-Oct-2009 14:56	308K
	level5.nemesis-acl	29-Oct-2009 09:38	27M
	level5.nemesis-acl-big	30-Oct-2009 12:55	27M
	level5.nemesis-acl-big.out	30-Oct-2009 12:55	308K
	level5.nemesis-acl.out	29-Oct-2009 09:38	308K
	level5.nemesis-cmucl	29-Oct-2009 11:19	35M
	level5.nemesis-cmucl.out	29-Oct-2009 11:19	393K
	level5.nemesis-sbcl	24-Oct-2009 02:07	37M
	level5.nemesis-sbcl.out	24-Oct-2009 02:07	308K
	level6.lhug-ccl	24-Oct-2009 08:44	35M
	level6.lhug-ccl.out	24-Oct-2009 08:44	109K
	level6.lhug-clisp	01-Nov-2009 12:31	16M
	level6.lhug-clisp.out	01-Nov-2009 12:31	109K
	level6.lhug-cmucl	29-Oct-2009 17:10	36M
	level6.lhug-cmucl.out	29-Oct-2009 17:10	163K
	level6.lhug-sbcl	24-Oct-2009 18:09	62M
	level6.lhug-sbcl.out	24-Oct-2009 18:09	108K
	level6.nemesis-acl	29-Oct-2009 11:00	28M
	level6.nemesis-acl-big	30-Oct-2009 14:38	28M
	level6.nemesis-acl-big.out	30-Oct-2009 14:38	108K
	level6.nemesis-acl.out	29-Oct-2009 11:00	108K
	level6.nemesis-cmucl	29-Oct-2009 12:48	36M
	level6.nemesis-cmucl.out	29-Oct-2009 12:48	163K
	level6.nemesis-sbcl	24-Oct-2009 03:29	37M
	level6.nemesis-sbcl.out	24-Oct-2009 03:29	108K
	level7.lhug-ccl	24-Oct-2009 09:31	36M
	level7.lhug-ccl.out	24-Oct-2009 09:31	199K
	level7.lhug-clisp	01-Nov-2009 20:31	17M
	level7.lhug-clisp.out	01-Nov-2009 20:31	199K
	level7.lhug-cmucl	29-Oct-2009 18:02	38M
	level7.lhug-cmucl.out	29-Oct-2009 18:02	289K
	level7.lhug-sbcl	24-Oct-2009 19:20	64M
	level7.lhug-sbcl.out	24-Oct-2009 19:20	200K
	level7.nemesis-acl	29-Oct-2009 11:34	28M
	level7.nemesis-acl-big	30-Oct-2009 15:22	28M
	level7.nemesis-acl-big.out	30-Oct-2009 15:22	199K
	level7.nemesis-acl.out	29-Oct-2009 11:34	198K
	level7.nemesis-cmucl	29-Oct-2009 13:26	38M
	level7.nemesis-cmucl.out	29-Oct-2009 13:26	289K
	level7.nemesis-sbcl	24-Oct-2009 04:06	38M
	level7.nemesis-sbcl.out	24-Oct-2009 04:06	200K
	level8.lhug-ccl	24-Oct-2009 14:48	38M
	level8.lhug-ccl.out	24-Oct-2009 14:48	292K
	level8.lhug-clisp	04-Nov-2009 06:48	19M
	level8.lhug-clisp.out	04-Nov-2009 06:48	286K
	level8.lhug-cmucl	29-Oct-2009 23:59	39M
	level8.lhug-cmucl.out	29-Oct-2009 23:59	500K
	level8.lhug-sbcl	25-Oct-2009 03:58	66M
	level8.lhug-sbcl.out	25-Oct-2009 03:58	286K
	level8.nemesis-acl	29-Oct-2009 15:41	29M
	level8.nemesis-acl-big	30-Oct-2009 19:38	29M
	level8.nemesis-acl-big.out	30-Oct-2009 19:38	286K
	level8.nemesis-acl.out	29-Oct-2009 15:41	286K
	level8.nemesis-cmucl	29-Oct-2009 17:54	39M
	level8.nemesis-cmucl.out	29-Oct-2009 17:54	500K
	level8.nemesis-sbcl	24-Oct-2009 08:14	40M
	level8.nemesis-sbcl.out	24-Oct-2009 08:14	286K
	level9.lhug-ccl	24-Oct-2009 16:56	42M
	level9.lhug-ccl.out	24-Oct-2009 16:56	680K
	level9.lhug-clisp	05-Nov-2009 02:11	23M
	level9.lhug-clisp.out	05-Nov-2009 02:11	678K
	level9.lhug-cmucl	30-Oct-2009 02:10	48M
	level9.lhug-cmucl.out	30-Oct-2009 02:10	1.4M
	level9.lhug-sbcl	25-Oct-2009 07:43	72M
	level9.lhug-sbcl.out	25-Oct-2009 07:43	674K
	level9.nemesis-acl	29-Oct-2009 17:07	31M
	level9.nemesis-acl-big	30-Oct-2009 21:02	31M
	level9.nemesis-acl-big.out	30-Oct-2009 21:02	672K
	level9.nemesis-acl.out	29-Oct-2009 17:07	672K
	level9.nemesis-cmucl	29-Oct-2009 19:28	48M
	level9.nemesis-cmucl.out	29-Oct-2009 19:28	1.4M
	level9.nemesis-sbcl	24-Oct-2009 09:45	43M
	level9.nemesis-sbcl.out	24-Oct-2009 09:45	674K
	level10.lhug-ccl	24-Oct-2009 19:39	46M
	level10.lhug-ccl.out	24-Oct-2009 19:39	298K
	level10.lhug-clisp	07-Nov-2009 13:47	25M
	level10.lhug-clisp.out	07-Nov-2009 13:47	178K
	level10.lhug-cmucl	30-Oct-2009 05:58	50M
	level10.lhug-cmucl.out	30-Oct-2009 05:58	3.8M
	level10.lhug-sbcl	25-Oct-2009 12:29	75M
	level10.lhug-sbcl.out	25-Oct-2009 12:29	179K
	level10.nemesis-acl-big.out	30-Oct-2009 23:07	49K
	level10.nemesis-acl.out	29-Oct-2009 17:12	19K
	level10.nemesis-cmucl	29-Oct-2009 22:13	50M
	level10.nemesis-cmucl.out	29-Oct-2009 22:13	3.8M
	level10.nemesis-sbcl	24-Oct-2009 12:15	45M
	level10.nemesis-sbcl.out	24-Oct-2009 12:15	179K
	level11.lhug-ccl	24-Oct-2009 21:21	48M
	level11.lhug-ccl.out	24-Oct-2009 21:21	445K
	level11.lhug-clisp	08-Nov-2009 09:46	27M
	level11.lhug-clisp.out	08-Nov-2009 09:46	331K
	level11.lhug-cmucl	30-Oct-2009 09:04	51M
	level11.lhug-cmucl.out	30-Oct-2009 09:04	3.9M
	level11.lhug-sbcl	25-Oct-2009 15:59	79M
	level11.lhug-sbcl.out	25-Oct-2009 15:59	330K
	level11.nemesis-cmucl	30-Oct-2009 00:23	52M
	level11.nemesis-cmucl.out	30-Oct-2009 00:23	3.9M
	level11.nemesis-sbcl	24-Oct-2009 14:15	47M
	level11.nemesis-sbcl.out	24-Oct-2009 14:15	329K
	logic.lhug-ccl	23-Oct-2009 14:37	23M
	logic.lhug-ccl.out	23-Oct-2009 14:37	520K
	logic.lhug-clisp	24-Oct-2009 00:53	6.7M
	logic.lhug-clisp.out	24-Oct-2009 00:53	516K
	logic.lhug-cmucl	28-Oct-2009 23:26	26M
	logic.lhug-cmucl.out	28-Oct-2009 23:26	743K
	logic.lhug-sbcl	23-Oct-2009 15:33	44M
	logic.lhug-sbcl.out	23-Oct-2009 15:33	515K
	logic.nemesis-acl	28-Oct-2009 23:14	14M
	logic.nemesis-acl-big	29-Oct-2009 23:59	14M
	logic.nemesis-acl-big.out	29-Oct-2009 23:59	515K
	logic.nemesis-acl.out	28-Oct-2009 23:14	515K
	logic.nemesis-clisp	25-Oct-2009 04:22	3.9M
	logic.nemesis-clisp.out	25-Oct-2009 04:22	516K
	logic.nemesis-cmucl	28-Oct-2009 23:11	26M
	logic.nemesis-cmucl.out	28-Oct-2009 23:11	742K
	logic.nemesis-sbcl	23-Oct-2009 14:40	27M
	logic.nemesis-sbcl.out	23-Oct-2009 14:40	515K
	memdump	30-Oct-2009 23:07	3.1K
	milawa-acl	04-Aug-2009 16:35	947
	milawa-ccl	04-Aug-2009 16:35	874
	milawa-clisp	04-Aug-2009 16:35	920
	milawa-cmucl	04-Nov-2010 21:57	2.5K
	milawa-corman	04-Aug-2009 16:35	874
	milawa-sbcl	13-Aug-2009 10:59	2.9K
	milawa-scl	04-Aug-2009 16:35	870
	milawa.lisp	04-Nov-2010 21:57	68K
	milawa2.lisp	04-Nov-2010 21:57	77K
	report-time.rb	06-Jul-2009 20:45	1.1K
	size_macros.tex	23-Oct-2009 13:07	2.9K
	summarize-sizes.out	23-Oct-2009 13:07	7.4K
	summarize-sizes.rb	02-Aug-2009 22:07	5.8K
	user.lhug-ccl	24-Oct-2009 21:23	48M
	user.lhug-ccl.out	24-Oct-2009 21:23	9.4K
	user.lhug-clisp	08-Nov-2009 10:17	27M
	user.lhug-clisp.out	08-Nov-2009 10:17	7.0K
	user.lhug-cmucl	30-Oct-2009 09:08	52M
	user.lhug-cmucl.out	30-Oct-2009 09:08	108K
	user.lhug-sbcl	25-Oct-2009 16:05	79M
	user.lhug-sbcl.out	25-Oct-2009 16:05	6.2K
	user.nemesis-cmucl	30-Oct-2009 00:26	52M
	user.nemesis-cmucl.out	30-Oct-2009 00:26	108K
	user.nemesis-sbcl	24-Oct-2009 14:18	47M
	user.nemesis-sbcl.out	24-Oct-2009 14:18	6.2K
	utilities.lhug-ccl	23-Oct-2009 13:50	21M
	utilities.lhug-ccl.out	23-Oct-2009 13:50	382K
	utilities.lhug-clisp	23-Oct-2009 16:22	4.9M
	utilities.lhug-clisp.out	23-Oct-2009 16:22	380K
	utilities.lhug-cmucl	28-Oct-2009 22:22	25M
	utilities.lhug-cmucl.out	28-Oct-2009 22:22	533K
	utilities.lhug-sbcl	23-Oct-2009 14:04	41M
	utilities.lhug-sbcl.out	23-Oct-2009 14:04	380K
	utilities.lhug-scl.out	28-Oct-2009 22:09	128K
	utilities.nemesis-acl	28-Oct-2009 22:32	6.7M
	utilities.nemesis-acl-big	29-Oct-2009 23:06	6.7M
	utilities.nemesis-acl-big.out	29-Oct-2009 23:06	379K
	utilities.nemesis-acl.out	28-Oct-2009 22:32	379K
	utilities.nemesis-ccl.out	03-Nov-2009 08:54	90K
	utilities.nemesis-clisp	25-Oct-2009 00:31	2.9M
	utilities.nemesis-clisp.out	25-Oct-2009 00:31	380K
	utilities.nemesis-cmucl	28-Oct-2009 22:20	25M
	utilities.nemesis-cmucl.out	28-Oct-2009 22:20	533K
	utilities.nemesis-sbcl	23-Oct-2009 13:47	26M
	utilities.nemesis-sbcl.out	23-Oct-2009 13:47	380K