debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	List.foldli	Adam Chlipala	2020-02-07
\|
*	Merge pull request #136 from dredozubov/anchor-links	Adam Chlipala	2020-01-15
\|\ \| \| \| \|	Same page link anchors
* \|	More lenient RFC 3339 parsing	Adam Chlipala	2019-12-23
\| \|
* \|	Fix toJson for records with optional fields	Adam Chlipala	2019-12-19
\| \|
* \|	SQL SIMILAR (via pg_trgm)	Adam Chlipala	2019-12-04
\| \|
* \|	Json: expose RFC 3339 functions	Adam Chlipala	2019-11-08
\| \|
* \|	JSON instance for times, based on RFC 3339 (because Google APIs use it)	Adam Chlipala	2019-10-11
\| \|
* \|	JSON records with optional fields	Adam Chlipala	2019-10-11
\| \|
* \|	Optimize JSON unescaping for server-side execution	Adam Chlipala	2019-10-05
\| \|
* \|	JavaScript 'currentUrl' should return a string, not a URL, since the latter ↵	Adam Chlipala	2019-10-04
\| \| \| \| \| \| \| \|	has a completeley different sort of 'replace' method
* \|	Add Step attribute to crange; fix tests for cnumber and crange	Mark Clements	2019-10-04
\| \|
* \|	Unicode escapes in JSON	Adam Chlipala	2019-09-25
\| \|
* \|	Datetime.ord_month	Adam Chlipala	2019-08-10
\| \|
* \|	Remove a misleading comment (#175)	Adam Chlipala	2019-07-26
\| \|
* \|	New JavaScript FFI function 'listen'	Adam Chlipala	2019-07-17
\| \|
* \|	Allow Basis.currentUrl on client side	Adam Chlipala	2019-03-30
\| \|
* \|	Don't escape slashes for JSON	Adam Chlipala	2019-03-27
\| \|
* \|	JavaScript string subscripting should raise out-of-bounds exceptions	Adam Chlipala	2019-03-10
\| \|
* \|	List.mapConcat and mapConcatM	Adam Chlipala	2019-02-12
\| \|
* \|	List.searchM and ListPair.unzip	Adam Chlipala	2019-02-10
\| \|
* \|	Top: foldR4 and mapX4	Adam Chlipala	2019-02-09
\| \|
* \|	Stop complaining when a nonexistent option is chosen for cselect	Adam Chlipala	2019-01-26
\| \|
* \|	Merge pull request #168 from fabriceleal/fix-codepoint-js	Adam Chlipala	2019-01-26
\|\ \ \| \| \| \| \| \|	utf8: More portable js, implement urlifyChar, fix urlifyString, fix unit tests
* \| \|	Option.mapM	Adam Chlipala	2019-01-24
\| \| \|
* \| \|	Basis.textOfBlob; try creating filecache directory if it doesn't exist	Adam Chlipala	2019-01-21
\| \| \|
\| * \|	fixes for review 1	fab	2019-01-21
\| \| \|
\| * \|	fix unit tests. implement urlifyChar	fab	2019-01-09
\| \| \|
\| * \|	more portable functions	fab	2019-01-02
\| \| \|
* \| \|	ListPair.mapM	Adam Chlipala	2018-12-31
\|/ /
* \|	saving space	fab	2018-12-27
\| \|
* \|	avoid a pow call if we can	fab	2018-12-25
\| \|
* \|	bitmaps working	fab	2018-12-25
\| \|
* \|	Merge pull request #146 from fabriceleal/utf-icu	Adam Chlipala	2018-12-19
\|\ \ \| \| \| \| \| \|	utf-8 aware functions for basis. unit-testing.
* \| \|	List.assocAddSorted	Adam Chlipala	2018-12-14
\| \| \|
\| * \|	exhaustive testing brought to selenium. bug fix in isspace. useful function ↵	fab	2018-12-11
\| \| \| \| \| \| \| \| \| \| \| \|	to test if char is <128
\| * \|	migrate is_valid_hash, blessData, property, atom	fab	2018-12-11
\| \| \|
\| * \|	fix isxdigit: is probably helpful to keep it only to ascii chars. migrate ↵	fab	2018-12-09
\| \| \| \| \| \| \| \| \| \| \| \|	islower, isupper, isalpha, isdigit, isblank, isspace, isxdigit, isprint
\| * \|	just to make sure there are no issues	fab	2018-12-08
\| \| \|
\| * \|	patch isDigit	fab	2018-12-08
\| \| \|
\| * \|	patching toLower and toUpper to provide consistent results in server side ↵	fab	2018-12-08
\| \| \| \| \| \| \| \| \| \| \| \|	and client side
\| * \|	strsub, strcspn, strsindex	fab	2018-12-06
\| \| \|
\| * \|	ord	fab	2018-12-06
\| \| \|
\| * \|	strsindex	fab	2018-12-06
\| \| \|
\| * \|	chars with more than 2 bytes are awkwardly handled by the "normal" string of ↵	fab	2018-12-06
\| \| \| \| \| \| \| \| \| \| \| \|	javascript. the best way to get consistent results seems to be to convert to array by Array.from(...) and back to strings with .join("")
\| * \|	reject invalid codepoints. Basis.iscodepoint. fix german char in js	fab	2018-11-30
\| \| \|
\| * \|	several fixes on unit tests and implementation	fab	2018-11-19
\| \| \|
* \| \|	List.mapMi	Adam Chlipala	2018-11-04
\|/ /
* \|	Automatic merging of style/dynStyle and class/dynClass (closes #64)	Adam Chlipala	2018-10-19
\| \|
* \|	Client-side escaping of HTML should be prepared for structured HTML trees, ↵	Adam Chlipala	2018-10-19
\| \| \| \| \| \| \| \|	not just strings (closes #141)
* \|	unsafeSerialized[To\|From]String	Adam Chlipala	2018-10-19
\| \|