Sharing theories - Revision history

Guillaume: Add to Theory Plug-in category

2021-06-14T14:56:25Z

Add to Theory Plug-in category

← Older revision		Revision as of 14:56, 14 June 2021
Line 30:		Line 30:

	The technique to use depends on how the archive has been generated. In any case, the goal is always the same: to put theory files (.tuf, .dtf, ...) from the archive into the <tt>MathExtensions</tt> project of your workspace.		The technique to use depends on how the archive has been generated. In any case, the goal is always the same: to put theory files (.tuf, .dtf, ...) from the archive into the <tt>MathExtensions</tt> project of your workspace.

			[[Category:Theory Plug-in]]

imported>Nicolas: /* Sharing a Theory */ Fixed typo on "artifact", precised description field for upload.

2010-11-17T10:47:45Z

Sharing a Theory: Fixed typo on "artifact", precised description field for upload.

← Older revision		Revision as of 10:47, 17 November 2010
Line 11:		Line 11:
	Sharing a theory can be achieved in the same way as adding an item in any other SourceForge tracker: by clicking the "Add new" link, then filling the form.		Sharing a theory can be achieved in the same way as adding an item in any other SourceForge tracker: by clicking the "Add new" link, then filling the form.

	As much as possible, non related theories should be provided in different ~~artefacts~~ (tracker items).		As much as possible, non related theories should be provided in different artifacts (tracker items).
	Before posting a new theory, it is recommended to check if the same or a similar one already exists. In this case, if your theory has something slightly different that you think worth sharing, please do so in the same tracker item, in order to keep related works together ~~(use~~ the upload ~~description field to describe differences)~~.		Before posting a new theory, it is recommended to check if the same or a similar one already exists. In this case, if your theory has something slightly different that you think worth sharing, please do so in the same tracker item, in order to keep related works together. The specificity of your theory can be briefly described in the field called "Description", below the "File" upload form; more accurate descriptions will better fit in comments.

	A theory item is basically made of:		A theory item is basically made of:

imported>Pascal at 16:42, 16 November 2010

2010-11-16T16:42:00Z

← Older revision		Revision as of 16:42, 16 November 2010
Line 3:		Line 3:

	== A SourceForge tracker for Theories ==		== A SourceForge tracker for Theories ==
			A new tracker has been created in the SourceForge site of the Rodin project to share theories:
	A new tracker has been created in the SourceForge site of the Rodin project:

	[http://sourceforge.net/tracker/?group_id=108850&atid=1558661 http://sourceforge.net/tracker/?group_id=108850&atid=1558661]		[http://sourceforge.net/tracker/?group_id=108850&atid=1558661 http://sourceforge.net/tracker/?group_id=108850&atid=1558661]

	~~This can be viewed as a repository for sharing theories.~~

	== Sharing a Theory ==		== Sharing a Theory ==

	Sharing a theory can be achieved the same way as adding an item in any other SourceForge tracker: by clicking the "Add new" link, then filling the form.		Sharing a theory can be achieved in the same way as adding an item in any other SourceForge tracker: by clicking the "Add new" link, then filling the form.

	As much as possible, non related theories should be provided in different ~~artifacts~~ (tracker items).		As much as possible, non related theories should be provided in different artefacts (tracker items).
	Before posting a new theory, it is recommended to check if the same or a similar one already exists. In this case, if your theory has something slightly different that you think worth sharing, please do so in the same tracker item, in order to keep related works together (use the upload description field to describe differences).		Before posting a new theory, it is recommended to check if the same or a similar one already exists. In this case, if your theory has something slightly different that you think worth sharing, please do so in the same tracker item, in order to keep related works together (use the upload description field to describe differences).

Line 23:		Line 20:
	* a group, indicating which version of Rodin the theory has been developed with		* a group, indicating which version of Rodin the theory has been developed with
	* one or more archives (see [[Exporting and importing archives containing theories]] for generating these archives)		* one or more archives (see [[Exporting and importing archives containing theories]] for generating these archives)


	== Updating a new version ==		== Updating a new version ==
Line 33:		Line 29:
	After downloading the desired archive(s) from the list of attached files, import them into your Rodin workspace using one the techniques described in [[Exporting and importing archives containing theories]].		After downloading the desired archive(s) from the list of attached files, import them into your Rodin workspace using one the techniques described in [[Exporting and importing archives containing theories]].

	The technique to use depends on how the archive has been generated. In any case, the goal is always the same: to put theory files (.tuf, .dtf, ...) from the archive into the MathExtensions project of your workspace.		The technique to use depends on how the archive has been generated. In any case, the goal is always the same: to put theory files (.tuf, .dtf, ...) from the archive into the <tt>MathExtensions</tt> project of your workspace.

imported>Nicolas at 15:37, 16 November 2010

2010-11-16T15:37:52Z

← Older revision		Revision as of 15:37, 16 November 2010
Line 28:		Line 28:

	New versions of a given theory shall be uploaded to the same tracker item as the original one, using the upload description field to describe evolutions.		New versions of a given theory shall be uploaded to the same tracker item as the original one, using the upload description field to describe evolutions.

			== Using a shared Theory ==

			After downloading the desired archive(s) from the list of attached files, import them into your Rodin workspace using one the techniques described in [[Exporting and importing archives containing theories]].

			The technique to use depends on how the archive has been generated. In any case, the goal is always the same: to put theory files (.tuf, .dtf, ...) from the archive into the MathExtensions project of your workspace.

imported>Nicolas: /* Sharing a Theory */

2010-11-16T15:27:38Z

Sharing a Theory

← Older revision		Revision as of 15:27, 16 November 2010
Line 15:		Line 15:

	As much as possible, non related theories should be provided in different artifacts (tracker items).		As much as possible, non related theories should be provided in different artifacts (tracker items).
	Before posting a new theory, it is recommended to check if the same or a similar one already exists. In this case, if your theory has something slightly different that you think worth sharing, please do so in the same tracker item, in order to keep related works together.		Before posting a new theory, it is recommended to check if the same or a similar one already exists. In this case, if your theory has something slightly different that you think worth sharing, please do so in the same tracker item, in order to keep related works together (use the upload description field to describe differences).

	A theory item is basically made of:		A theory item is basically made of:
Line 23:		Line 23:
	* a group, indicating which version of Rodin the theory has been developed with		* a group, indicating which version of Rodin the theory has been developed with
	* one or more archives (see [[Exporting and importing archives containing theories]] for generating these archives)		* one or more archives (see [[Exporting and importing archives containing theories]] for generating these archives)


			== Updating a new version ==

			New versions of a given theory shall be uploaded to the same tracker item as the original one, using the upload description field to describe evolutions.

imported>Nicolas at 15:06, 16 November 2010

2010-11-16T15:06:15Z

← Older revision		Revision as of 15:06, 16 November 2010
Line 1:		Line 1:
	Rodin 2.0+ with [[Theory_Plug-in \| theory plug-in]] makes it possible to define extensions to the standard mathematical language, that is new operators and datatypes.		Rodin 2.0+ with [[Theory_Plug-in \| theory plug-in]] makes it possible to define extensions to the standard mathematical language, that is new operators and datatypes.
	This page explains how to share your theories with the community and how to get theories developed by other people.		This page explains how to share your theories with the community and how to get theories developed by other people.

			== A SourceForge tracker for Theories ==

			A new tracker has been created in the SourceForge site of the Rodin project:

			[http://sourceforge.net/tracker/?group_id=108850&atid=1558661 http://sourceforge.net/tracker/?group_id=108850&atid=1558661]

			This can be viewed as a repository for sharing theories.

			== Sharing a Theory ==

			Sharing a theory can be achieved the same way as adding an item in any other SourceForge tracker: by clicking the "Add new" link, then filling the form.

			As much as possible, non related theories should be provided in different artifacts (tracker items).
			Before posting a new theory, it is recommended to check if the same or a similar one already exists. In this case, if your theory has something slightly different that you think worth sharing, please do so in the same tracker item, in order to keep related works together.

			A theory item is basically made of:
			* a relevant title, clearly stating what kind of mathematical extensions are provided;
			* a brief description of the contents (in the initial comment);
			* a category indicating the area of the theory; if no existing category fits your contribution, leave the field at "None" and indicate in the comment the name of the new category you would like
			* a group, indicating which version of Rodin the theory has been developed with
			* one or more archives (see [[Exporting and importing archives containing theories]] for generating these archives)

imported>Nicolas: New page: Rodin 2.0+ with theory plug-in makes it possible to define extensions to the standard mathematical language, that is new operators and datatypes. This page explains ho...

2010-11-16T14:41:56Z

New page: Rodin 2.0+ with theory plug-in makes it possible to define extensions to the standard mathematical language, that is new operators and datatypes. This page explains ho...

New page

Rodin 2.0+ with [[Theory_Plug-in | theory plug-in]] makes it possible to define extensions to the standard mathematical language, that is new operators and datatypes.
This page explains how to share your theories with the community and how to get theories developed by other people.