summaryrefslogtreecommitdiff
path: root/lib
Commit message (Expand)AuthorAge
* 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
* Stop complaining when a nonexistent option is chosen for cselectGravatar Adam Chlipala2019-01-26
* Merge pull request #168 from fabriceleal/fix-codepoint-jsGravatar Adam Chlipala2019-01-26
|\
* | Option.mapMGravatar Adam Chlipala2019-01-24
* | Basis.textOfBlob; try creating filecache directory if it doesn't existGravatar Adam Chlipala2019-01-21
| * fixes for review 1Gravatar fab2019-01-21
| * fix unit tests. implement urlifyCharGravatar fab2019-01-09
| * more portable functionsGravatar fab2019-01-02
* | ListPair.mapMGravatar Adam Chlipala2018-12-31
|/
* saving spaceGravatar fab2018-12-27
* avoid a pow call if we canGravatar fab2018-12-25
* bitmaps workingGravatar fab2018-12-25
* 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
| * migrate is_valid_hash, blessData, property, atomGravatar fab2018-12-11
| * fix isxdigit: is probably helpful to keep it only to ascii chars. migrate isl...Gravatar fab2018-12-09
| * just to make sure there are no issuesGravatar fab2018-12-08
| * patch isDigitGravatar fab2018-12-08
| * patching toLower and toUpper to provide consistent results in server side and...Gravatar fab2018-12-08
| * strsub, strcspn, strsindexGravatar fab2018-12-06
| * ordGravatar fab2018-12-06
| * strsindexGravatar fab2018-12-06
| * chars with more than 2 bytes are awkwardly handled by the "normal" string of ...Gravatar fab2018-12-06
| * reject invalid codepoints. Basis.iscodepoint. fix german char in jsGravatar fab2018-11-30
| * several fixes on unit tests and implementationGravatar fab2018-11-19
* | List.mapMiGravatar Adam Chlipala2018-11-04
|/
* Automatic merging of style/dynStyle and class/dynClass (closes #64)Gravatar Adam Chlipala2018-10-19
* Client-side escaping of HTML should be prepared for structured HTML trees, no...Gravatar Adam Chlipala2018-10-19
* unsafeSerialized[To|From]StringGravatar Adam Chlipala2018-10-19
* Catch when a cselect has an unavailable value setGravatar Adam Chlipala2018-10-12
* 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
* dynClass() now calculates and sets class and style attributes before adding n...Gravatar Vladimir Shabanov2017-12-13
* 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