Davide P. Cervone 42998e00e5 Fix problem with taking style of null element reported by Fred in issue #210.		2012-09-01 12:27:10 -04:00
..
autoload	Handle minsize on vertical stretching as well as horizontal. Also fix a vertical placement problem with stretched elements in tables in HTML-CSS, and improve performace for placeing the extension characters by making sure we have the bbox for them. Issue #210.	2012-09-01 11:21:34 -04:00
fonts/TeX	Repack all javascript files (to update the copyright notice) and recombine (make sure all combined files are current)	2012-02-24 17:22:48 -05:00
config.js	Bump versions for previous commit	2012-03-15 15:46:58 -04:00
jax.js	Fix problem with taking style of null element reported by Fred in issue #210.	2012-09-01 12:27:10 -04:00