summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* Update man pageHEADmasterGravatar Benjamin Barenblat2020-05-31
|
* Update packaging for SONAME bumpGravatar Benjamin Barenblat2020-05-31
|
* Refresh patchesGravatar Benjamin Barenblat2020-05-31
|
* Update build dependencies for 20200209Gravatar Benjamin Barenblat2020-05-31
|
* Merge branch 'dfsg_clean'Gravatar Benjamin Barenblat2020-05-31
|\
| * Merge branch 'upstream' into dfsg_clean20200209+dfsgdfsg_cleanGravatar Benjamin Barenblat2020-05-30
| |\
* | | Document files excluded in DFSG-freeing processGravatar Benjamin Barenblat2020-05-30
| | |
* | | debian/watch: Use dversionmangle to strip +dfsg suffix from sourceGravatar Benjamin Barenblat2020-05-30
| | |
* | | Move library packages to Section: libsGravatar Benjamin Barenblat2020-05-30
| | |
* | | Add Build-Depends-Package stanzas to symbols filesGravatar Benjamin Barenblat2020-05-30
| | |
* | | debian/watch: Update for GitHub moveGravatar Benjamin Barenblat2020-05-30
| | | | | | | | | | | | | | | Ur/Web releases are now hosted on GitHub; update debian/watch to check for releases there.
* | | Use Priority: optional, not Priority: extraGravatar Benjamin Barenblat2020-05-30
| | | | | | | | | | | | Priority: extra has been deprecated; use Priority: optional instead.
* | | Update to debhelper 13Gravatar Benjamin Barenblat2020-05-30
| | |
* | | Set `Rules-Requires-Root: no`Gravatar Benjamin Barenblat2020-05-30
| | |
* | | Update standards versionGravatar Benjamin Barenblat2020-05-30
| | |
* | | Don’t set `Multi-Arch: foreign` for urwebGravatar Benjamin Barenblat2020-05-30
| | | | | | | | | | | | | | | Fix the Lintian multiarch-foreign-static-library error by removing the `Multi-Arch: foreign` stanza from the urweb package.
* | | Update build dependenciesGravatar Benjamin Barenblat2020-05-30
| | |
* | | Use -D_FORTIFY_SOURCE=1 instead of 2Gravatar Benjamin Barenblat2020-05-30
| | | | | | | | | | | | | | | | | | Prevent major performance regressions by forcing -D_FORTIFY_SOURCE=1 instead of -D_FORTIFY_SOURCE=2. See https://bugs.debian.org/934722 for details.
| | * Stop putting extraneous files in release tarballs20200209Gravatar Adam Chlipala2020-02-09
| | |
| | * New releaseGravatar Adam Chlipala2020-02-09
| | |
| | * List.foldliGravatar Adam Chlipala2020-02-07
| | |
| | * Fix signature matching of an imported datatype vs. a fresh datatypeGravatar Adam Chlipala2020-02-07
| | |
| | * Merge pull request #196 from mdempsky/manual-editsGravatar Adam Chlipala2020-02-06
| | |\ | | | | | | | | Manual edits
| | | * Remove superfluous lambdas before guarded typesGravatar Matthew Dempsky2020-02-04
| | | | | | | | | | | | | | | | | | | | Guarded expression abstractions (fn [c ~ c] => e) begin with a lambda, but guarded types ([c ~ c] => t) do not.
| | | * Fix typos in kinding judgmentsGravatar Matthew Dempsky2020-02-04
| | | | | | | | | | | | | | | | Kind-polymorphism is written as "X --> k", not "X -> k".
| | | * Fix record type shorthandGravatar Matthew Dempsky2020-02-04
| | |/ | | | | | | | | | | | | | | | | | | The syntax is {c : c}, not {c = c}. Also, replace uses of shorthand (both correct and incorrect) in semantics rules with elaborated $[c = c].
| | * Merge pull request #194 from mdempsky/manual-tweaksGravatar Adam Chlipala2020-01-27
| | |\ | | | | | | | | Manual tweaks
| | | * Elaborate e^* and e^+ syntaxGravatar Matthew Dempsky2020-01-22
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Clarify that parentheses are used if and only if e consists of multiple symbols; also, that both e and the separator (if any) will be paranthesized. ("if any" is appropriate because the grammar extensions for XML include "(x[=v])*", which has no separator.) Fix the known-length type-level record syntax to indicate that commas are used to separate field descriptors. Change the pattern matching grammar to use "\mid" instead of "|" for internal consistency. (No visible change, as far as I can tell.)
| | | * Consistently introduce application syntax before abstractionGravatar Matthew Dempsky2020-01-22
| | | | | | | | | | | | | | | | Makes it slightly easier to recognize the symmetry between forms.
| | | * Kind variables must be bracketed in expression-level bindersGravatar Matthew Dempsky2020-01-22
| | | |
| | * | Merge pull request #193 from mdempsky/monad-kindGravatar Adam Chlipala2020-01-21
| | |\ \ | | | |/ | | |/| monad has kind (Type->Type)->Type, not just Type->Type
| | | * monad has kind (Type->Type)->Type, not just Type->TypeGravatar Matthew Dempsky2020-01-21
| | |/
| | * Merge pull request #192 from mdempsky/manual-typoGravatar Adam Chlipala2020-01-19
| | |\ | | | | | | | | Fix documentation typo
| | | * Fix documentation typoGravatar Matthew Dempsky2020-01-19
| | |/ | | | | | | | | | Cooperative threads run *un*interrupted between context-switch points.
| | * Merge pull request #136 from dredozubov/anchor-linksGravatar Adam Chlipala2020-01-15
| | |\ | | | | | | | | Same page link anchors
| | * \ Merge pull request #186 from FrigoEU/lspGravatar Adam Chlipala2020-01-15
| | |\ \ | | | | | | | | | | Language Server Protocol (LSP)
| | | * | Added some documentation for the LSP server to the manualGravatar Simon Van Casteren2020-01-15
| | | | |
| | | * | LSP: Improved handling of datatypes from signaturesGravatar Simon Van Casteren2020-01-12
| | | | |
| | * | | Merge pull request #185 from docelic/better-error-reportsGravatar Adam Chlipala2020-01-12
| | |\ \ \ | | | | | | | | | | | | Improve error messages
| | | | * | Fixed review changes: Better foundInEnv naming, correct interpretation ofGravatar Simon Van Casteren2020-01-11
| | | | | | | | | | | | | | | | | | | | | | | | SgiSgn, fix uniq
| | | | * | Change findSmallestSpan to findClosestSpan: faster at 99% of times betterGravatar Simon Van Casteren2020-01-10
| | | | | |
| | * | | | At compile time, allow '#' as a URLGravatar Adam Chlipala2020-01-10
| | | | | |
| | | | * | Refactor to do all matching on strings, more precise and fasterGravatar Simon Van Casteren2020-01-10
| | | | | |
| | | | * | Fixed smaller review remarksGravatar Simon Van Casteren2020-01-08
| | | | | |
| | | | * | Allow simple .ur files to double as .urs files for LSPGravatar Simon Van Casteren2020-01-08
| | | | | |
| | | | * | Added some type sigs required by SMLNJGravatar Simon Van Casteren2020-01-08
| | | | | |
| | | | * | Add bg_thread.dummy.sml to mock MLton threads in sml/njGravatar Simon Van Casteren2020-01-08
| | | | | |
| | | | * | Return only unique diags + better formattingGravatar Simon Van Casteren2020-01-08
| | | | | |
| | | | * | Added some more stuff to lsp getInfo and completionsGravatar Simon Van Casteren2020-01-04
| | | | | |
| | * | | | More lenient RFC 3339 parsingGravatar Adam Chlipala2019-12-23
| | | | | |