diff options
author | ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-05-23 18:50:20 +0000 |
---|---|---|
committer | ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-05-23 18:50:20 +0000 |
commit | a3fc112d0e3ae5fe3ae6179596e5e2aa6275ef2e (patch) | |
tree | ce10fff4ad88ed42a9d1125e2f4b66a412e09d7d /CREDITS | |
parent | 58f0af8dc82355c6da666d8fe48b0e8b35fb4d63 (diff) |
Rewritten the handling of coq sentence processing, hopefully being
smarter and more asynchronous-friendly. Some aditional cleaning is
needed to factorize other parts of the code, but this is a first
milestone.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15359 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'CREDITS')
0 files changed, 0 insertions, 0 deletions