summaryrefslogtreecommitdiff
path: root/src/mod_db.sig
Commit message (Expand)AuthorAge
* Added comments and extracted typeOf/getInfo into seperate moduleGravatar FrigoEU2019-08-03
* first iteration of "typeOf" commandGravatar FrigoEU2019-07-31
* Don't use interfaces anymore for ModDb validity, but check for undetermined u...Gravatar FrigoEU2019-07-29
* First iteration of more detailed elaboration cachingGravatar FrigoEU2019-07-07
* Don't modify the module cache after elaboration failuresGravatar Adam Chlipala2012-05-02
* Initial support for reusing elaboration resultsGravatar Adam Chlipala2012-04-29