ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								c5674041bf
								
							
						 | 
						
							
							
								
								Some minor mods and a bug fix with type transfer functions
							
							
							
							
							
						 | 
						
							1987-09-24 13:07:31 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								fd817d4dbc
								
							
						 | 
						
							
							
								
								Minor adaptions in order to reduce the size
							
							
							
							
							
						 | 
						
							1987-09-23 16:39:43 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								51169956dc
								
							
						 | 
						
							
							
								
								some more fixes, and tried to make smaller
							
							
							
							
							
						 | 
						
							1987-08-10 21:43:47 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								9c014b9e64
								
							
						 | 
						
							
							
								
								some fixes and cosmetic changes
							
							
							
							
							
						 | 
						
							1987-08-03 09:09:07 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								0e397f09f3
								
							
						 | 
						
							
							
								
								many changes; some cosmetic; coercions now explicit in tree
							
							
							
							
							
						 | 
						
							1987-07-30 13:37:39 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								3af275f8d6
								
							
						 | 
						
							
							
								
								A different way of detecting conformant arrays
							
							
							
							
							
						 | 
						
							1987-07-22 17:02:54 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								0bffe65c24
								
							
						 | 
						
							
							
								
								some more fixes
							
							
							
							
							
						 | 
						
							1987-07-22 10:59:24 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								e04230a126
								
							
						 | 
						
							
							
								
								bug fixes, name changes
							
							
							
							
							
						 | 
						
							1987-07-16 19:51:40 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								c66066a91f
								
							
						 | 
						
							
							
								
								fixes
							
							
							
							
							
						 | 
						
							1987-07-13 10:30:37 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								befe7be9de
								
							
						 | 
						
							
							
								
								Added a kind of range-check for assignments between cards and ints
							
							
							
							
							
						 | 
						
							1987-06-18 17:42:47 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								c839c01680
								
							
						 | 
						
							
							
								
								some fixes, and changed priority of unary minus
							
							
							
							
							
						 | 
						
							1987-06-18 15:46:08 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								946006fb08
								
							
						 | 
						
							
							
								
								many minor corrections
							
							
							
							
							
						 | 
						
							1987-05-18 15:57:33 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								fbc0415761
								
							
						 | 
						
							
							
								
								make to work on sun, added copyright, etc
							
							
							
							
							
						 | 
						
							1987-04-29 10:22:07 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								fe2e67d1c6
								
							
						 | 
						
							
							
								
								minor fixes
							
							
							
							
							
						 | 
						
							1986-12-09 17:41:06 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								c57d4ff268
								
							
						 | 
						
							
							
								
								some minor bug fixes
							
							
							
							
							
						 | 
						
							1986-12-01 10:06:53 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								a0c21bf820
								
							
						 | 
						
							
							
								
								many bug fixes, and added flexibility in alignments
							
							
							
							
							
						 | 
						
							1986-11-28 11:59:08 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								da54801353
								
							
						 | 
						
							
							
								
								newer version
							
							
							
							
							
						 | 
						
							1986-11-26 16:40:45 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								9d0ee46068
								
							
						 | 
						
							
							
								
								Trying to check more of an expression, giving some more sophisticated error messages,and be less wasteful with space for subranges
							
							
							
							
							
						 | 
						
							1986-11-17 11:41:28 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								9291d87dab
								
							
						 | 
						
							
							
								
								Several bug fixes
							
							
							
							
							
						 | 
						
							1986-11-05 14:33:00 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								ca44bfc681
								
							
						 | 
						
							
							
								
								newer version with some bug fixes
							
							
							
							
							
						 | 
						
							1986-10-22 15:38:24 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								3030eb8cae
								
							
						 | 
						
							
							
								
								newer version
							
							
							
							
							
						 | 
						
							1986-10-06 20:36:30 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								c3d4d40d1b
								
							
						 | 
						
							
							
								
								many bug fixes
							
							
							
							
							
						 | 
						
							1986-09-25 19:39:06 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								a0db745586
								
							
						 | 
						
							
							
								
								newer version with bug fixes
							
							
							
							
							
						 | 
						
							1986-08-26 14:33:24 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								d5a95fcac0
								
							
						 | 
						
							
							
								
								Some bug fixes
							
							
							
							
							
						 | 
						
							1986-07-14 15:00:08 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								832bdeb3be
								
							
						 | 
						
							
							
								
								better compatibility between CARDINAL and ADDRESS
							
							
							
							
							
						 | 
						
							1986-07-10 16:27:26 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								965e75761d
								
							
						 | 
						
							
							
								
								newer version
							
							
							
							
							
						 | 
						
							1986-07-08 14:59:02 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								bcfca75b56
								
							
						 | 
						
							
							
								
								newer version
							
							
							
							
							
						 | 
						
							1986-06-26 09:39:36 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								9932033365
								
							
						 | 
						
							
							
								
								newer version
							
							
							
							
							
						 | 
						
							1986-06-20 14:36:49 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								a9dfdc494b
								
							
						 | 
						
							
							
								
								newer version
							
							
							
							
							
						 | 
						
							1986-06-17 12:04:05 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								ec528b797e
								
							
						 | 
						
							
							
								
								newer version
							
							
							
							
							
						 | 
						
							1986-06-10 13:18:52 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								caf99ea472
								
							
						 | 
						
							
							
								
								newer version
							
							
							
							
							
						 | 
						
							1986-06-06 02:22:09 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								9e0ab0029b
								
							
						 | 
						
							
							
								
								first, almost complete, version
							
							
							
							
							
						 | 
						
							1986-06-04 09:01:48 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								db795bc07a
								
							
						 | 
						
							
							
								
								newer version
							
							
							
							
							
						 | 
						
							1986-05-30 18:48:00 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								6382054ae5
								
							
						 | 
						
							
							
								
								newer version
							
							
							
							
							
						 | 
						
							1986-05-28 18:36:51 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								0f04bc72bd
								
							
						 | 
						
							
							
								
								newer version
							
							
							
							
							
						 | 
						
							1986-05-21 18:32:20 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								a4887558b8
								
							
						 | 
						
							
							
								
								newer version
							
							
							
							
							
						 | 
						
							1986-05-16 17:15:36 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								15896e422c
								
							
						 | 
						
							
							
								
								newer version
							
							
							
							
							
						 | 
						
							1986-05-14 09:03:51 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								0bf57a9c64
								
							
						 | 
						
							
							
								
								newer version
							
							
							
							
							
						 | 
						
							1986-05-01 19:06:53 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								53e3cd60d0
								
							
						 | 
						
							
							
								
								newer version
							
							
							
							
							
						 | 
						
							1986-04-28 18:06:58 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								4173e3c487
								
							
						 | 
						
							
							
								
								newer version
							
							
							
							
							
						 | 
						
							1986-04-25 10:14:08 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								a254a8acb1
								
							
						 | 
						
							
							
								
								newer version
							
							
							
							
							
						 | 
						
							1986-04-23 22:12:22 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								ce160b4f1a
								
							
						 | 
						
							
							
								
								newer version
							
							
							
							
							
						 | 
						
							1986-04-22 23:22:19 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								fef8659bf1
								
							
						 | 
						
							
							
								
								newer version
							
							
							
							
							
						 | 
						
							1986-04-22 22:36:16 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								674791bf91
								
							
						 | 
						
							
							
								
								newer version
							
							
							
							
							
						 | 
						
							1986-04-21 17:27:06 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								6715e3b171
								
							
						 | 
						
							
							
								
								newer version
							
							
							
							
							
						 | 
						
							1986-04-18 17:53:47 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								d3d6e637d6
								
							
						 | 
						
							
							
								
								newer version
							
							
							
							
							
						 | 
						
							1986-04-17 09:28:09 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								426c273de8
								
							
						 | 
						
							
							
								
								newer version
							
							
							
							
							
						 | 
						
							1986-04-15 17:51:53 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								7d76f2829a
								
							
						 | 
						
							
							
								
								newer version
							
							
							
							
							
						 | 
						
							1986-04-12 02:21:24 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								64a9f1e5d7
								
							
						 | 
						
							
							
								
								newer version
							
							
							
							
							
						 | 
						
							1986-04-11 11:57:19 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								ba47f9fe7c
								
							
						 | 
						
							
							
								
								newer version
							
							
							
							
							
						 | 
						
							1986-04-10 01:08:49 +00:00 | 
						
						
							
							
							
								
							
							
						 |