← Back to branch summary

~scompall/ermine-user-guide/trunk

« back to all changes in this revision

Viewing changes to ermine-user-guide.texi

  • Committer: Stephen Compall
  • Date: 2014-05-05 00:27:19 UTC
  • Revision ID: scompall@nocandysw.com-20140505002719-676yixhzpu8s93ps
New chapter "Integrating with platform libraries".

Show diffs side-by-side

added added

removed removed

Lines of Context:
ermine-user-guide.texi
96
96
* Universals and Existentials::
97
97
* Understanding type errors::
98
98
* Refined data types::
 
99
* Integrating with platform libraries::
99
100
* Acknowledgements::
100
101
* GNU Free Documentation License::
101
102
* Concept index::
115
116
 
116
117
@include refined-data-types.texi
117
118
 
 
119
@include integrating-with-platform.texi
 
120
 
118
121
@include acknowledgements.texi
119
122
 
120
123
@node GNU Free Documentation License