Search results

Create the page "User page" on this wiki! See also the search results found.

Page title matches

• Help:User page
  ...king changes]]). You can also link to your user page within text of a wiki page, which is mainly useful on [[Help:Talk pages|talk pages]] when you sign you == What to put on your user page ==
  3 KB (510 words) - 08:58, 5 July 2008
• Template:Main Page/User Documentation
  == Displayed as follow on the Main Page == ...er documentation'' category]]</small></div>[[Rodin Platform|Rodin Platform User Support]]
  2 KB (226 words) - 14:22, 15 January 2019

Page text matches

• Talk:Proof Purger Interface
  == User Manual == Shall this page become a part of the [[Rodin User Manual]] ? [[User:Mathieu|Mathieu]] 21:50, 11 December 2008 (UTC)
  133 bytes (18 words) - 16:04, 6 January 2009
• Help:User page
  ...king changes]]). You can also link to your user page within text of a wiki page, which is mainly useful on [[Help:Talk pages|talk pages]] when you sign you == What to put on your user page ==
  3 KB (510 words) - 08:58, 5 July 2008
• Talk:Tutorial
  =Renaming this page= ...host several tutorials, and we need to disambiguate them. Best regards, [[User:Mathieu|Mathieu]] 23:21, 4 July 2008 (BST)
  477 bytes (72 words) - 17:02, 6 July 2008
• User:Mathieu/Main Page
  <div id="accueil_title">{{Main Page/title}}</div> <div align="right" class="main_page_frame_link">[[Template:Main Page/title|Edit]]</div>
  2 KB (171 words) - 16:17, 27 October 2008
• Main Page
  <div id="accueil_title">{{Main Page/title}}</div> <div align="right" class="main_page_frame_link">[[Template:Main Page/title|Edit]]</div>
  2 KB (194 words) - 09:48, 19 May 2020
• Help:Subpages
  '''Subpages''' introduce some hierarchical organisation into wiki page names, with levels of the hierarchy separated by slashes '/'. ...is switched off, any slashes (/) within a page name are simply part of the page name and do nothing special.
  2 KB (331 words) - 23:16, 4 July 2008
• Template:Main Page/User Documentation
  == Displayed as follow on the Main Page == ...er documentation'' category]]</small></div>[[Rodin Platform|Rodin Platform User Support]]
  2 KB (226 words) - 14:22, 15 January 2019
• Help:Namespaces
  ...e pages have a name of the form "''namespace'':''page''", for example this page is called "''{{NAMESPACE}}'':''{{PAGENAME}}''" (it is in the {{NAMESPACE}} ...ge, or other local notes that another group may want to associate with the page, without modifying the document directly, or for any other additional infor
  2 KB (347 words) - 08:55, 5 July 2008
• Talk:Current Developments
  ...this list in a hopefully near future). Then each project may have its own page, referenced with the help of the [[:Template:Details]]. I've also added a redirect from [[Current Developments]] to this page.
  531 bytes (82 words) - 10:48, 25 September 2008
• Help:Tracking changes
  ...anges''' shows the latest changes to articles, file uploads, deletions and page moves]] * the revision history: all changes made to one page
  3 KB (473 words) - 23:36, 4 July 2008
• Talk:Rodin Platform
  Please, could you categorize this page by adding the following wiki code at the end of the text : [[Category:User Documentation]]
  281 bytes (38 words) - 13:29, 10 July 2008
• Category:User documentation
  This page lists all the documents in the ''User Documentation'' category.
  82 members (4 subcategories, 1 file) - 20:24, 10 September 2008
• Help:Moving a page
  ...click 'Move Page'. Normally you would want to leave "Move associated talk page" option ticked. If you move page "A" to a new title "B", this operation will do the following:
  2 KB (417 words) - 23:19, 4 July 2008
• Template:Links-core
  ...tion=delete}} delete]}} {{#if:{{{block|}}}|{{#ifeq:{{lc:{{{2|template}}}}}|user|[[{{{1|}}}:Special:Blockip/{{#titleparts:{{{3|foo}}}|1}}|block]]}}}} </smal ...|template|foo|talk=1}}</nowiki></code> will only output a link to the talk page.
  4 KB (420 words) - 13:19, 23 February 2009
• Help:Contents
  * [[Help:Starting a new page|Starting a new page]] * [[Help:User page|User pages]]
  2 KB (200 words) - 14:03, 12 December 2008
• Talk:Modus Ponens generalized
  ...proposal" category for instance, by adding the following to the end of the page : [[User:Mathieu|mathieu]] 08:31, 5 May 2011 (UTC)
  352 bytes (56 words) - 08:31, 5 May 2011

• File:PrettyPrintPage.png ...Editor editing the Celebrity_1 machine (cf. Celebrity Problem in the Rodin User Tutorial) (742 × 689 (34 KB)) - 20:49, 30 April 2020

• Talk:UML-B notes for 0.4.4
  do you agree if I put the content of this page in [[UML-B FAQ]] ? [[User:Mathieu|Mathieu]] 22:28, 11 December 2008 (UTC)
  131 bytes (21 words) - 09:09, 4 March 2009
• Talk:Single View Design
  It is quite useful when we use an external tool for version control. [[User:Mathieu|Mathieu]] 12:10, 30 September 2008 (UTC) Do you mind if I split this page in "user docs" and "developer dosc" ? [[User:Jrloria|Jrloria]] 11:08, 26 March 2010 (UTC)
  638 bytes (92 words) - 18:37, 26 March 2010
• Help:Deleting a page
  == When to delete a page : == Typically you would delete a page if the contents are entirely inappropriate, and do not match the purposes o
  3 KB (519 words) - 08:59, 5 July 2008

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)