Doug Coleman
							
						 
						
							 
							
							
								
								
							
							
								
							
								8ed441d97a 
								
									
								
							
								 
							
						 
						
							
							
								
								windows.ole32: Add more error constants as long.  
							
							 
							
							... 
							
							
							
							These are -2B..2B instead of positive integers because long is s32 on
Windows. 
							
						 
						
							2020-04-11 20:36:10 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								e61f1ebc14 
								
									
								
							
								 
							
						 
						
							
							
								
								vocabs.metadata: cleanup a couple uses of metadata paths.  
							
							 
							
							
							
						 
						
							2020-04-11 20:36:09 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								685c3eae2c 
								
									
								
							
								 
							
						 
						
							
							
								
								vocabs.metadata: cleanup paths to be fully specified.  
							
							 
							
							
							
						 
						
							2020-04-11 20:36:08 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								761cf1a5dd 
								
									
								
							
								 
							
						 
						
							
							
								
								ui.gadgets.panes: fix tests under dark-theme.  
							
							 
							
							
							
						 
						
							2020-04-11 20:36:07 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								6cacce4d5c 
								
									
								
							
								 
							
						 
						
							
							
								
								pdf: heuristic for dealing with table wrapping.  
							
							 
							
							
							
						 
						
							2020-04-11 20:36:06 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								97029fbee9 
								
									
								
							
								 
							
						 
						
							
							
								
								pdf.values: fix names for some fonts.  
							
							 
							
							
							
						 
						
							2020-04-11 20:36:05 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								4c4dcc0480 
								
									
								
							
								 
							
						 
						
							
							
								
								help.pdf: use 1.25 line-height on pdf.  
							
							 
							
							
							
						 
						
							2020-04-11 20:36:04 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								29e15fef76 
								
									
								
							
								 
							
						 
						
							
							
								
								pdf.canvas: add concept of line-height multiplier.  
							
							 
							
							
							
						 
						
							2020-04-11 20:36:04 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								014eaa51f3 
								
									
								
							
								 
							
						 
						
							
							
								
								logic.examples: cleanup, make hanoi tests assert output.  
							
							 
							
							
							
						 
						
							2020-04-11 20:36:03 -05:00  
						
					 
				
					
						
							
							
								 
								kusumotonorio
							
						 
						
							 
							
							
								
								
							
							
								
							
								e2ecab70c1 
								
									
								
							
								 
							
						 
						
							
							
								
								logic.factor: [ quot call( -- ) ] --> quot  
							
							 
							
							
							
						 
						
							2020-04-11 20:36:02 -05:00  
						
					 
				
					
						
							
							
								 
								kusumotonorio
							
						 
						
							 
							
							
								
								
							
							
								
							
								241b902134 
								
									
								
							
								 
							
						 
						
							
							
								
								factlog vocab ==> logic vocab  
							
							 
							
							
							
						 
						
							2020-04-11 20:36:01 -05:00  
						
					 
				
					
						
							
							
								 
								kusumotonorio
							
						 
						
							 
							
							
								
								
							
							
								
							
								8520361b0c 
								
									
								
							
								 
							
						 
						
							
							
								
								Rename directory, files.  
							
							 
							
							
							
						 
						
							2020-04-11 20:36:00 -05:00  
						
					 
				
					
						
							
							
								 
								kusumotonorio
							
						 
						
							 
							
							
								
								
							
							
								
							
								ca0859ff18 
								
									
								
							
								 
							
						 
						
							
							
								
								catb0t's PR: add a Prolog-like %! ...  multiline comment  #6  
							
							 
							
							
							
						 
						
							2020-04-11 20:35:59 -05:00  
						
					 
				
					
						
							
							
								 
								kusumotonorio
							
						 
						
							 
							
							
								
								
							
							
								
							
								9a94c2d54d 
								
									
								
							
								 
							
						 
						
							
							
								
								factlog  
							
							 
							
							
							
						 
						
							2020-04-11 20:35:58 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								583e0470c4 
								
									
								
							
								 
							
						 
						
							
							
								
								html.templates.chloe: adding missing tests.  
							
							 
							
							
							
						 
						
							2020-04-11 20:35:57 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								a8b6de2a35 
								
									
								
							
								 
							
						 
						
							
							
								
								webapps.planet: use factor color.  
							
							 
							
							
							
						 
						
							2020-04-11 20:35:56 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								3eccec19f3 
								
									
								
							
								 
							
						 
						
							
							
								
								webapps.wiki: remove footer border-top.  
							
							 
							
							
							
						 
						
							2020-04-11 20:35:55 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								ca3551a9d4 
								
									
								
							
								 
							
						 
						
							
							
								
								websites.concatenative: navbar background.  
							
							 
							
							
							
						 
						
							2020-04-11 20:35:54 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								d0d46c3dff 
								
									
								
							
								 
							
						 
						
							
							
								
								webapps.wiki: better spacing on article list.  
							
							 
							
							
							
						 
						
							2020-04-11 20:35:54 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								2597a4a8f6 
								
									
								
							
								 
							
						 
						
							
							
								
								html.templates: adding meta tag and some chloe tests.  
							
							 
							
							
							
						 
						
							2020-04-11 20:35:53 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								94378fb7c2 
								
									
								
							
								 
							
						 
						
							
							
								
								tools.errors: fix to match current behavior: "show".  
							
							 
							
							
							
						 
						
							2020-04-11 20:35:52 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								2156d5babd 
								
									
								
							
								 
							
						 
						
							
							
								
								bootstrap.image: add make-my-image to docs.  
							
							 
							
							
							
						 
						
							2020-04-11 20:35:51 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								3628f979d5 
								
									
								
							
								 
							
						 
						
							
							
								
								webapps: remove floating factorcode.org links.  
							
							 
							
							
							
						 
						
							2020-04-11 20:35:50 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								0796f95679 
								
									
								
							
								 
							
						 
						
							
							
								
								webapps.help: matching style for navbar.  
							
							 
							
							
							
						 
						
							2020-04-11 20:35:49 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								83750e9f8f 
								
									
								
							
								 
							
						 
						
							
							
								
								websites.concatenative: make navbar use line-height.  
							
							 
							
							
							
						 
						
							2020-04-11 20:35:48 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								578169f5e7 
								
									
								
							
								 
							
						 
						
							
							
								
								webapps.wiki: 24px hamburger instead of 32px.  
							
							 
							
							
							
						 
						
							2020-04-11 20:35:47 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								221b89f0b2 
								
									
								
							
								 
							
						 
						
							
							
								
								webapps.help: responsive search.  
							
							 
							
							
							
						 
						
							2020-04-11 20:35:46 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								ee42db5436 
								
									
								
							
								 
							
						 
						
							
							
								
								extra: moving hash-sets.numbers, hashtables.numbers to basis.  
							
							 
							
							
							
						 
						
							2020-04-11 20:35:45 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								4799f2c448 
								
									
								
							
								 
							
						 
						
							
							
								
								help.html: move pre-wrap to css style fixup.  
							
							 
							
							
							
						 
						
							2020-04-11 20:35:45 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								e15d2775ae 
								
									
								
							
								 
							
						 
						
							
							
								
								html.streams: fix tests.  
							
							 
							
							
							
						 
						
							2020-04-11 20:35:44 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								12118f02e2 
								
									
								
							
								 
							
						 
						
							
							
								
								webapps.planet: a bit more style.  
							
							 
							
							
							
						 
						
							2020-04-11 20:35:43 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								8fd968cf58 
								
									
								
							
								 
							
						 
						
							
							
								
								webapps.planet: more responsive css.  
							
							 
							
							
							
						 
						
							2020-04-11 20:35:42 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								3c80b9b9aa 
								
									
								
							
								 
							
						 
						
							
							
								
								webapps.planet: use div to style post body.  
							
							 
							
							
							
						 
						
							2020-04-11 20:35:41 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								dc387f45b9 
								
									
								
							
								 
							
						 
						
							
							
								
								webapps.pastebin: more padding.  
							
							 
							
							
							
						 
						
							2020-04-11 20:35:40 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								43d22b8cb6 
								
									
								
							
								 
							
						 
						
							
							
								
								webapps.wiki: style the header.  
							
							 
							
							
							
						 
						
							2020-04-11 20:35:39 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								96a7bac40d 
								
									
								
							
								 
							
						 
						
							
							
								
								webapps.wiki: tweak line-height to fix issue with title.  
							
							 
							
							
							
						 
						
							2020-04-11 20:35:38 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								a1d927bbf8 
								
									
								
							
								 
							
						 
						
							
							
								
								webapps.wiki: simplify and fix resize issue on mobile.  
							
							 
							
							
							
						 
						
							2020-04-11 20:35:38 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								539dea68fc 
								
									
								
							
								 
							
						 
						
							
							
								
								webapps.wiki: some responsive css (and JS for hamburger menu).  
							
							 
							
							
							
						 
						
							2020-04-11 20:35:37 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								09453d4cff 
								
									
								
							
								 
							
						 
						
							
							
								
								websites.concatenative: write script (if any) from children.  
							
							 
							
							
							
						 
						
							2020-04-11 20:35:36 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								fac013d307 
								
									
								
							
								 
							
						 
						
							
							
								
								html.templates: adding t:script and t:write-script.  
							
							 
							
							
							
						 
						
							2020-04-11 20:35:35 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								6643e97b2c 
								
									
								
							
								 
							
						 
						
							
							
								
								help.html: more responsive help docs.  
							
							 
							
							
							
						 
						
							2020-04-11 20:35:34 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								a9d7d39425 
								
									
								
							
								 
							
						 
						
							
							
								
								html.streams: monospace uses pre-wrap, wrap-margin sets width.  
							
							 
							
							
							
						 
						
							2020-04-11 20:35:33 -05:00  
						
					 
				
					
						
							
							
								 
								Cat Stevens
							
						 
						
							 
							
							
								
								
							
							
								
							
								1e5bd820f8 
								
									
								
							
								 
							
						 
						
							
							
								
								math.matrices: fix/rename mnorm, update all norms  
							
							 
							
							... 
							
							
							
							closes  #2244 
- `mnorm` has been renamed to `normalize-matrix`
	to reflect what it actually does, which
	is normalize a matrix, not find a norm
	of a matrix.
- `mnorm` is no longer a word defined here.
- bugfix: previously, `normalize-matrix` found
	the supremum of a matrix (`mmax`),
	before taking the supremum's absolute
	value (`abs`) and dividing the matrix
	by it (`m/n`).
	for matrices containing only negative
	values and 0, the supremum is 0, and
	a `div-by-zero` error was thrown.
	`normalize-matrix` has been fixed to
	first `abs` all the matrix elements,
	and then find the supremum and divide,
	it also receieved a zero-matrix? guard
	for optimization and preventing
	`div-by-zero`.
- new alias: `hilbert-schmidt-norm` for
	`frobenius-norm`,  to go along with
	`math.matrices.extras.<hilbert-matrix>`
	and improve searchability by physicists.
- new word: `matrix-p-norm`, written as an
	analogue of `math.vectors.p-norm`.
- new word: `matrix-p-q-norm`, which generalizes
	entrywise matrix norm over the L^p,q
	vector space.
- new word: `matrix-p-norm-entrywise`:
	`matrix-p-norm`'s fallback
	for p =/= 1, 2, inf; analogue of
	`math.vectors.p-norm-default`.
- all norm words have gotten new docs,
	`zero-matrix?` guards as an optimisation,
	and most have gotten new tests. 
							
						 
						
							2020-04-11 20:35:32 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								1f59f04033 
								
									
								
							
								 
							
						 
						
							
							
								
								websites.concatenative: fix for xhtml.  
							
							 
							
							
							
						 
						
							2020-04-11 20:35:31 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								58c5265103 
								
									
								
							
								 
							
						 
						
							
							
								
								websites.concatenative: device viewport css.  
							
							 
							
							
							
						 
						
							2020-04-11 20:35:31 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								7209b3ff36 
								
									
								
							
								 
							
						 
						
							
							
								
								websites.factorcode: some downloads style.  
							
							 
							
							
							
						 
						
							2020-04-11 20:35:30 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								2037e5df99 
								
									
								
							
								 
							
						 
						
							
							
								
								websites.factorcode: give logo a width also.  
							
							 
							
							
							
						 
						
							2020-04-11 20:35:29 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								ac5b03baab 
								
									
								
							
								 
							
						 
						
							
							
								
								websites.factorcode: better mobile responsive css.  
							
							 
							
							
							
						 
						
							2020-04-11 20:35:28 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								4e97e9a8fb 
								
									
								
							
								 
							
						 
						
							
							
								
								prettyprint.backend: make +nil+ render as L{ }.  
							
							 
							
							
							
						 
						
							2020-04-11 20:35:27 -05:00  
						
					 
				
					
						
							
							
								 
								John Benediktsson
							
						 
						
							 
							
							
								
								
							
							
								
							
								c439960a17 
								
									
								
							
								 
							
						 
						
							
							
								
								websites.factorcode: tinypng the logo.  
							
							 
							
							
							
						 
						
							2020-04-11 20:35:26 -05:00