2013-08-24 | Christian Grothoff | -use GPLv3+ consistently | blob | commitdiff | raw |
2013-08-23 | Christian Grothoff | -more vector -> scalar renaming | blob | commitdiff | raw | diff to current |
2013-08-23 | Christian Grothoff | -more vector -> scalar renaming | blob | commitdiff | raw | diff to current |