summaryrefslogtreecommitdiff
path: root/lib/ur
Commit message (Expand)AuthorAge
* List.foldliGravatar Adam Chlipala2020-02-07
* Merge pull request #136 from dredozubov/anchor-linksGravatar Adam Chlipala2020-01-15
|\
* | More lenient RFC 3339 parsingGravatar Adam Chlipala2019-12-23
* | Fix toJson for records with optional fieldsGravatar Adam Chlipala2019-12-19
* | SQL SIMILAR (via pg_trgm)Gravatar Adam Chlipala2019-12-04
* | Json: expose RFC 3339 functionsGravatar Adam Chlipala2019-11-08
* | JSON instance for times, based on RFC 3339 (because Google APIs use it)Gravatar Adam Chlipala2019-10-11
* | JSON records with optional fieldsGravatar Adam Chlipala2019-10-11
* | Optimize JSON unescaping for server-side executionGravatar Adam Chlipala2019-10-05
* | Add Step attribute to crange; fix tests for cnumber and crangeGravatar Mark Clements2019-10-04
* | Unicode escapes in JSONGravatar Adam Chlipala2019-09-25
* | Datetime.ord_monthGravatar Adam Chlipala2019-08-10
* | Remove a misleading comment (#175)Gravatar Adam Chlipala2019-07-26
* | Don't escape slashes for JSONGravatar Adam Chlipala2019-03-27
* | List.mapConcat and mapConcatMGravatar Adam Chlipala2019-02-12
* | List.searchM and ListPair.unzipGravatar Adam Chlipala2019-02-10
* | Top: foldR4 and mapX4Gravatar Adam Chlipala2019-02-09
* | Option.mapMGravatar Adam Chlipala2019-01-24
* | Basis.textOfBlob; try creating filecache directory if it doesn't existGravatar Adam Chlipala2019-01-21
* | ListPair.mapMGravatar Adam Chlipala2018-12-31
* | Merge pull request #146 from fabriceleal/utf-icuGravatar Adam Chlipala2018-12-19
|\ \
* | | List.assocAddSortedGravatar Adam Chlipala2018-12-14
| * | exhaustive testing brought to selenium. bug fix in isspace. useful function t...Gravatar fab2018-12-11
| * | reject invalid codepoints. Basis.iscodepoint. fix german char in jsGravatar fab2018-11-30
* | | List.mapMiGravatar Adam Chlipala2018-11-04
|/ /
* | unsafeSerialized[To|From]StringGravatar Adam Chlipala2018-10-19
* | List.allMGravatar Adam Chlipala2018-08-25
| * Rough same page anchorsGravatar Denis Redozubov2018-08-22
|/
* Merge pull request #134 from steinuil/json-single-quoteGravatar Adam Chlipala2018-08-17
|\
| * removed invalid JSON escape characterGravatar steinuil2018-08-04
* | offsetX, offsetYGravatar Fabrice Leal2018-07-09
|/
* Merge pull request #126 from majorseitan/masterGravatar Adam Chlipala2018-06-04
|\
* \ Merge pull request #127 from ashalkhakov/cradioGravatar Adam Chlipala2018-06-04
|\ \
| | * Merge branch 'master' into masterGravatar major seitan2018-06-02
| | |\ | |_|/ |/| |
* | | Remove insecure crypto function (closes #114)Gravatar Adam Chlipala2018-05-29
| * | Adding: cradio (support for client-side radio box).Gravatar Artyom Shalkhakov2018-05-28
|/ /
| * Handling of JSON escape charactersGravatar majorseitan@blockfreie.org2018-05-26
| * Handling of JSON escape charactersGravatar majorseitan@blockfreie.org2018-04-15
|/
* Handling of JSON escape charactersGravatar majorseitan@blockfreie.org2018-04-14
* List.findMGravatar Adam Chlipala2018-04-14
* List.existsMGravatar Adam Chlipala2018-04-14
* Added oninput event to inputs which support it.Gravatar Vladimir Shabanov2017-12-05
* Button: disabled attribute; allowing number entry using HTML5 widgetsGravatar Artyom Shalkhakov2017-02-21
* Option.appGravatar Adam Chlipala2017-02-01
* List.appiGravatar Adam Chlipala2017-01-25
* Add 'placeholder' attribute for textareasGravatar Adam Chlipala2017-01-02
* Use 'id' attribute for <form>Gravatar Adam Chlipala2016-12-31
* Add mapUX_revGravatar Adam Chlipala2016-09-24
* Remove 'Value' attributes for AJAX-y UI widgets, because they should use 'Sou...Gravatar Adam Chlipala2016-09-01
* Json: parse records with extra fieldsGravatar Adam Chlipala2016-08-27
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-04 18:14:16 +0000