summaryrefslogtreecommitdiff
path: root/lib/ur
Commit message (Expand)AuthorAge
* 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
* 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
* Import Json module from old Meta library (thanks to Edward Z. Yang for code c...Gravatar Adam Chlipala2016-08-26
* Switch to expected order for [queryL]Gravatar Adam Chlipala2016-07-01
* abs and floor addedGravatar Karen Sargsyan2016-05-23
* asin, acos, atan, atan2 addedGravatar Karen Sargsyan2016-05-22
* Some basic math functions: pow, sqrt, sin, cos, log, exp are added to work at...Gravatar Karen Sargsyan2016-05-21
* Support for <meta> tagsGravatar Adam Chlipala2016-05-15
* Resource integrity attributes for HTML link element. http://www.w3.org/TR/201...Gravatar Alexander Abushkevich2016-03-10