Viewing all changes in revision 499.
- Committer: Jean-Vincent Loddo
- Date: 2017-06-30 15:23:37 UTC
- Revision ID: loddo@lipn.univ-paris13.fr-20170630152337-pbbaik2mjilbe1lw
Slight changes in World_bridge to enhance code readability, specially for fields of type `option'.
- files modified:
- world_bridge.ml
expand all
collapse all
added
removed
