Changeset 4494 for trunk/manuals
- Timestamp:
- 10/07/08 15:31:19 (3 months ago)
- Location:
- trunk/manuals
- Files:
-
- 4 modified
-
index.html (modified) (1 diff)
-
refman/builtins/create_object4.html (modified) (2 diffs)
-
refman/index.html (modified) (1 diff)
-
refman/refman.header (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/manuals/index.html
r4481 r4494 32 32 <div class="copyright"> 33 33 <span>Copyright © <a href="mailto:pmoura@logtalk.org">Paulo Moura</a> — <a href="http://logtalk.org">Logtalk.org</a></span><br/> 34 <span>Last updated on: October 4, 2008</span>34 <span>Last updated on: October 7, 2008</span> 35 35 </div> 36 36 <div class="navbottom"> -
trunk/manuals/refman/builtins/create_object4.html
r4278 r4494 62 62 <dd><code>| ?- create_object(p1, [instantiates(person)], [], [name('Paulo Moura'), age(42)]).</code></dd> 63 63 <dt>Creating a new class as a specialization of another class:</dt> 64 <dd><code>| ?- create_object(hovercraft, [specializes(vehicle)], [p ropeller/2, fan/2], []).</code></dd>64 <dd><code>| ?- create_object(hovercraft, [specializes(vehicle)], [public([propeller/2, fan/2])], []).</code></dd> 65 65 </dl> 66 66 … … 69 69 <div class="copyright"> 70 70 <span>Copyright © <a href="mailto:pmoura@logtalk.org">Paulo Moura</a> — <a href="http://logtalk.org">Logtalk.org</a></span><br/> 71 <span>Last updated on: May 23, 2008</span>71 <span>Last updated on: October 7, 2008</span> 72 72 </div> 73 73 <div class="navbottom"> -
trunk/manuals/refman/index.html
r4474 r4494 321 321 <div class="copyright"> 322 322 <span>Copyright © <a href="mailto:pmoura@logtalk.org">Paulo Moura</a> — <a href="http://logtalk.org">Logtalk.org</a></span><br/> 323 <span>Last updated on: September 26, 2008</span>323 <span>Last updated on: October 7, 2008</span> 324 324 </div> 325 325 <div class="navbottom"> -
trunk/manuals/refman/refman.header
r4466 r4494 36 36 <span>http://logtalk.org/</span> 37 37 </p> 38 <p class="date">Last updated on August 25, 2008</p>38 <p class="date">Last updated on October 7, 2008</p> 39 39 </div> 40 40
