oidinfo_new_designalarmingautosfxaysaliacalllibchecksum-toolscolormanagercryptochatcurrency_converterdecoderdelphiutilsdistributeddpcstudiodpg2fastphpfileformatsfilter_foundryforestgridgameht46f47_simulatorindexer_suiteipe_artfile_utilsjavautilsjumperlightgamelogviewermusikboxmystic_houseoidconverteroidinfo_apioidpluspersonal-webbasephp_antispamphp_clientchallengephp_guestbookphp_utilsplumbersprependrecyclebinunitsimple_log_eventsokobanspacemissionstackmanuserdetect2uuid_mac_utilsvgwhoisvnagwebcounterwinbugtrackeryt_downloader

BlueGreycalmElegant

Català-Valencià – Catalan中文 – Chinese (Simplified)中文 – Chinese (Traditional)Česky – CzechDansk – DanishNederlands – DutchEnglish – EnglishSuomi – FinnishFrançais – FrenchDeutsch – Germanעברית – Hebrewहिंदी – HindiMagyar – HungarianBahasa Indonesia – IndonesianItaliano – Italian日本語 – Japanese한국어 – KoreanМакедонски – Macedonianमराठी – MarathiNorsk – NorwegianPolski – PolishPortuguês – PortuguesePortuguês – Portuguese (Brazil)Русский – RussianSlovenčina – SlovakSlovenščina – SlovenianEspañol – SpanishSvenska – SwedishTürkçe – TurkishУкраїнська – UkrainianOëzbekcha – Uzbek

Compare Revisions

• This comparison shows the changes necessary to convert path

  → /trunk/regexp.htm @ 12

  → /trunk/regexp.htm @ 13

  ↔ Reverse comparison

• Compare Path:	Rev

  With Path:	Rev

Regard whitespace Rev 12 → Rev 13

/trunk/regexp.htm
100,13 → 100,13
<p>
A regular expression is a character sequence that is an abbreviated
definition of a set of strings. A string is said to match a regular
definition of a set of strings. A string matches a regular
expression if it is a member of the set described by the regular expression.
</p>
<p>
A regular expression is allowed to match anywhere within a string,
unless the regular expression is explicitly anchored to the beginning
or end of the string (by using operators <code>^</code> and/or&nbsp;<code>$</code>).
unless the regular expression is explicitly anchored to the beginning (operator&nbsp;<code>^</code>)
or end (operator&nbsp;<code>$</code>) of the string.
</p>
</td>
256,7 → 256,7
if (Date.parse(document.lastModified) != 0)
document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear());
</script>-->
15 Apr 2022
27 Nov 2022
</font>
</td>
<td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td>